Ignore:
Timestamp:
Jun 28, 2017, 1:55:49 PM (4 years ago)
Author:
daduve
Message:

moving arduino directory

File:
1 edited

Legend:

Unmodified
Added
Removed
  • lliurex-jclic-shared/trunk/fuentes/lliurex-jclic-shared.install-files/net/server-sync/share/jclic-aula/index.php

    r4485 r5378  
    66        <link rel="stylesheet" type="text/css" href="css/lliurex.css" media="screen" />
    77        <title>Servidor LliureX</title>
    8         <!--   i si llevem aço per el local?-->
     8        <!--   i si llevem aço per el local?-->
    99        <!--script language="JavaScript" src="http://clic.xtec.cat/dist/jclic/jclicplugin.js" type="text/javascript"></script-->
    1010    <script language="JavaScript" src="./jclic/jclicplugin.js" type="text/javascript"></script>
     
    4545                function execute(jclicpath, alert_lang, ident)
    4646                {
    47                         //console.log(jclicpath);
     47                        console.log(jclicpath);
    4848                        var datos = {"argumento":jclicpath};
    4949                        document.body.style.cursor = "progress";
     
    5252                        var path1 ="document.location=";
    5353                        var path_base=jclicpath.match(/(.*)[\/\\]/)[1]||'';
    54                         //console.log(path_base);
     54                        console.log(path_base);
    5555                        var filename=jclicpath.replace(/^.*(\\|\/|\:)/, '');
    5656                        path_lock="jclic_uploads/0rig_jclic/";
    5757                        path_base=path_server.concat(path_base);
    58                         //console.log(path_base);
     58                        console.log(path_base);
    5959                        path_lock=path_server.concat(path_lock);
    6060                        path_lock=path_lock.concat(filename);
    6161                        path_lock=path_lock.concat(".lock");
    62                         //console.log(path_lock);
     62                        console.log(path_lock);
    6363                        var result=doesFileExist(path_lock);
    64                         //console.log(result);
     64                        console.log(result);
    6565                        if (result == true){
    6666                                alert(alert_lang);
     
    294294                        function replaceAccents($str) {
    295295
    296                                 $search = explode(",","ç,æ,œ,á,é,í,ó,ú,à,è,ì,ò,ù,ä,ë,ï,ö,ü,ÿ,â,ê,î,ô,û,å,ø,Ø,Å,Á,À,Â,Ä,È,É,Ê,Ë,Í,Î,Ï,Ì,Ò,Ó,Ô,Ö,Ú,Ù,Û,Ü,Ÿ,Ç,Æ,Œ");
     296                                $search = explode(",","ç,æ,œ,á,é,í,ó,ú,à,è,ì,ò,ù,ä,ë,ï,ö,ü,ÿ,â,ê,î,ô,û,Ã¥,ø,Ø,Ã
     297,Á,À,Â,Ä,È,É,Ê,Ë,Í,Î,Ï,Ì,Ò,Ó,Ô,Ö,Ú,Ù,Û,Ü,Ÿ,Ç,Æ,Œ");
    297298
    298299                                $replace = explode(",","c,ae,oe,a,e,i,o,u,a,e,i,o,u,a,e,i,o,u,y,a,e,i,o,u,a,o,O,A,A,A,A,A,E,E,E,E,I,I,I,I,O,O,O,O,U,U,U,U,Y,C,AE,OE");
     
    310311                                        $temp_array+=array($library=>array($file_name=>array('id'=>$id, 'title'=> $title)));
    311312                                }
    312                                 //echo "se añadieron cosas";
     313                                //echo "se añadieron cosas";
    313314                                return $temp_array;
    314315                        }
     
    390391                                } else{
    391392                                                //echo "JCLIC";
    392                                                 //Debemos transformarlo en HTML5 con el python crado cuando se haga click sobre él
     393                                                //Debemos transformarlo en HTML5 con el python crado cuando se haga click sobre él
    393394                                                /*if ( strcasecmp( $resource, 'menu' ) == 0){
    394395                                                        $resource="menu_llx";
     
    451452
    452453                                                        $rscfound=0; // Resources found
    453                                                        
     454                                                        //var_dump($jclicdirectory);
    454455                                                        $jclicconten = opendir($jclicdirectory);
    455456                                                        //print_r ($activities_orig);
     
    474475                                                                // Search .html
    475476                                                                $resource="";
    476                                                                 foreach($lista as $item)
    477                                                                     //echo "$item\n";
     477                                                                foreach($lista as $item){
     478                                                                    //var_dump($item);
    478479                                                                    if(($item=="index.html") && (strstr($jclicdirectory,'jclic_upload'))){
    479480                                                                        $resource=$item;
     481                                                                        //echo "2222222222222";
    480482                                                                        break;    }
    481                                                                                                                                
     483                                                                }
     484                                                                 
     485                                                                //var_dump($resource);                                                         
    482486                                                                if (($resource!="") && (strstr($jclicdirectory,'jclic_upload'))){ // Found .html
    483487                                                                        // Button for resource
     
    494498                                                                       
    495499                                                                        if($resource!=""){ // Found jclic.jclic
    496                                                                                 //Button for jclic.jclic
     500                                                                                //Button for jclic.jclic;
    497501                                                                                list ($title2, $temp_array)=CreateButton($jclicdirectory, $resource, "jclic",$locale ,$activities_orig, $library, $temp_array);
    498502                                                                                $activities[] = trim($title2);
     
    513517                                       
    514518                                                                                foreach($lista as $item){
     519                                                                                 //var_dump($item);
    515520                                                                                if(strpos($item, '.jclic')){
    516521                                            //echo "FOUND JCLIC LISTS!!!!!";
    517                                                                                         //echo "AQUIIIIIIIIIIIIIIIIIIIIIII";
     522                                                                                        //echo "$resource";
    518523                                                                                                //$resource=substr($item, 0, -4);
    519524                                                                                        if ($item!=""){
     
    522527                                                                                                $activities[] = trim($title2);
    523528                                                                                                //echo "$title2";
     529                                                                                                //echo "1111111111111111";
    524530                                                                                                // Increasing number of elements
    525531                                                                                                $rscfound++;
     
    531537                                                                                        if(is_dir($itemdir) && (strstr($jclicdirectory,'jclic_upload'))){
    532538                                                                                                $index_file="$jclicdirectory/$item/index.html";
    533                                                                                                 if(is_file($index_file)){
    534                                                                                                         if ($item!=""){
    535                                                                                                                 // Button for .jclic.zip
    536                                                                                                                 list ($title2, $temp_array)=CreateButton($jclicdirectory, $item, "html",$locale, $activities_orig, $library, $temp_array);
    537                                                                                                                 $activities[] = trim($title2);
    538                                                                                                                 // Increasing number of elements
    539                                                                                                                 $rscfound++;
     539                                                                                                if (!strstr($itemdir,'0rig')){
     540                                                                                                        if(is_file($index_file)){
     541                                                                                                                if ($item!=""){
     542                                                                                                                        // Button for .jclic.zip
     543                                                                                                                        list ($title2, $temp_array)=CreateButton($jclicdirectory, $item, "html",$locale, $activities_orig, $library, $temp_array);
     544                                                                                                                        $activities[] = trim($title2);
     545                                                                                                                        //echo "$title2";
     546                                                                                                                        //echo "222222222222222";
     547                                                                                                                        // Increasing number of elements
     548                                                                                                                        $rscfound++;
     549                                                                                                                }
     550                                                                                                        } else {
     551                                                                                                        //lista directorio que no posee Index.html y lo creará
     552                                                                                                        //echo "Crear INDEX excepto 0rig";
     553                                                                                                        $item_extended="$item/$item.jclic.zip";
     554                                                                                                         //var_dump($item_extended);
     555                                                                                                        list ($title2, $temp_array)=CreateButton($jclicdirectory, $item_extended, "jclic",$locale ,$activities_orig, $library, $temp_array);
     556                                                                                                        $activities[] = trim($title2);
     557                                                                                                        $rscfound++;
    540558                                                                                                        }
     559                                                                                                        //break;
    541560                                                                                                }
    542                                                                                                         //break;
    543561                                                                                        }                                                               
    544562                                                                                }
     
    589607                                } // While
    590608                        if($numrsc==0){
    591                                 if ($locale=="valencia") echo "<div class='rscinfo'>No hi ha recursos disponibles en esta secció</div>";
    592                                 else echo "<div class='rscinfo'>No hay recursos disponibles en esta sección</div>";
     609                                if ($locale=="valencia") echo "<div class='rscinfo'>No hi ha recursos disponibles en esta secció</div>";
     610                                else echo "<div class='rscinfo'>No hay recursos disponibles en esta sección</div>";
    593611                        }
    594612               
     
    612630                                        $testfile=$title . "." . $locale ;
    613631                                        if ( ! is_file( $testfile ) )   $txt = file_get_contents($title);
    614                                         // en caso contrario, se muestra sólo si tiene extension para el "locale" actual
     632                                        // en caso contrario, se muestra sólo si tiene extension para el "locale" actual
    615633                                } elseif ( ereg("\.title." . $locale, $title) )
    616634                                {
     
    737755               
    738756               if($numrsc==0){
    739                         if ($locale=="valencia") echo "<div class='rscinfo' id='rscpersonal'>No hi ha recursos disponibles en esta secció</div>";
    740                         else echo "<div class='rscinfo' id='rscpersonal'>No hay recursos disponibles en esta sección</div>";
     757                        if ($locale=="valencia") echo "<div class='rscinfo' id='rscpersonal'>No hi ha recursos disponibles en esta secció</div>";
     758                        else echo "<div class='rscinfo' id='rscpersonal'>No hay recursos disponibles en esta sección</div>";
    741759                }
    742760
     
    756774                                <?php
    757775                                 if ($locale=="valencia") echo "Arrossega nous recursos fins aci";
    758                                  else echo "Arrastra nuevos recursos hasta aquí";
     776                                 else echo "Arrastra nuevos recursos hasta aquí";
    759777                                ?>
    760778                                </div>
     
    787805          </div>
    788806          <div class="dz-progress"><span class="dz-upload" data-dz-uploadprogress></span></div>
    789           <div class="dz-success-mark"><span></span></div>
    790           <div class="dz-error-mark"><span></span></div>
     807          <div class="dz-success-mark"><span>✔</span></div>
     808          <div class="dz-error-mark"><span>✘</span></div>
    791809          <div class="dz-error-message"><span data-dz-errormessage></span></div>
    792810        </div>
Note: See TracChangeset for help on using the changeset viewer.