Changeset 5588


Ignore:
Timestamp:
Jul 26, 2017, 10:27:02 AM (22 months ago)
Author:
daduve
Message:

Adding support to libraries in index.php

Location:
lliurex-jclic-shared/trunk/fuentes
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • lliurex-jclic-shared/trunk/fuentes/debian/changelog

    r5586 r5588  
     1lliurex-jclic-shared (1.1.7) xenial; urgency=high
     2
     3  * Adding support to libraries in index.php
     4
     5 -- Daniel Duran Vecino <daduve@gmail.com>  Wed, 26 Jul 2017 10:26:09 +0200
     6
    17lliurex-jclic-shared (1.1.6) xenial; urgency=high
    28
  • lliurex-jclic-shared/trunk/fuentes/lliurex-jclic-shared.install-files/net/server-sync/share/jclic-aula/helper.py

    r5378 r5588  
    228228# ###################MAIN PROGRAM######################
    229229try:
     230        print name_zip
    230231        if not os.path.exists(dir_jclic_orig):
    231232                os.makedirs(dir_jclic_orig)
     
    262263        html5=False
    263264        orig_name_file=os.path.basename(name_zip)
    264         dir_name=os.path.splitext(os.path.basename(name_zip))[0]
    265         #orig_name_file
    266 
    267 
    268         if dir_name.endswith(".jclic"):
    269                 dir_name=os.path.splitext(dir_name)[0]
    270         extract_dir=os.path.join(extract_dir, dir_name)
    271        
    272 
    273         print "-----------------------------------"
    274         print "Generating index.html for %s"%name_zip
    275         print "-----------------------------------"
    276        
    277         #Test directory to extract and directory to save older file
    278         if not os.path.exists (extract_dir):
    279                 os.makedirs(extract_dir)
    280        
    281         os.system("setfacl -m group:www-data:rwx %s"%extract_dir)
    282         os.system("setfacl -m default:group:www-data:rwx %s"%extract_dir)
    283 
    284         if not os.path.exists (dir_jclic_orig):
    285                 os.makedirs(dir_jclic_orig)
    286        
    287         #Busco el ficero jclic para saber el nombre real
    288         with zipfile.ZipFile(name_zip,"r") as zip_file:
    289                 for member in zip_file.namelist():
    290                         filename=os.path.basename(member)
    291                         #Me aseguro que no es una linea en blanco
    292                         if filename.endswith(".jclic"):
    293                                 #print "tengo el fichero jclic: %s"%filename
    294                                 tilte="Untiled"
    295                                 with zip_file.open(filename) as f:
    296                                         for line in f:
    297                                                 #obtengo el titulo del index
    298                                                 if "<title>" in line or "<Title>" in line:
    299                                                         title=title_file(line)[1]
     265
     266        if orig_name_file.endswith(".jclic"):
     267                #es un jclic_solito, le genero un index sin mas y obtengo el titulo
     268                tilte="Untiled"
     269                with open(name_zip) as f:
     270                        for line in f:
     271                                #obtengo el titulo del index
     272                                if "<title>" in line or "<Title>" in line:
     273                                        title=title_file(line)[1]
     274               
     275                extract_dir=os.path.dirname(name_zip)
     276               
     277        else:
     278               
     279                dir_name=os.path.splitext(os.path.basename(name_zip))[0]
     280                #orig_name_file
     281
     282
     283                if dir_name.endswith(".jclic"):
     284                        dir_name=os.path.splitext(dir_name)[0]
     285                extract_dir=os.path.join(extract_dir, dir_name)
     286               
     287
     288                print "-----------------------------------"
     289                print "Generating index.html for %s"%name_zip
     290                print "-----------------------------------"
     291               
     292                #Test directory to extract and directory to save older file
     293                if not os.path.exists (extract_dir):
     294                        os.makedirs(extract_dir)
     295               
     296                os.system("setfacl -m group:www-data:rwx %s"%extract_dir)
     297                os.system("setfacl -m default:group:www-data:rwx %s"%extract_dir)
     298
     299                if not os.path.exists (dir_jclic_orig):
     300                        os.makedirs(dir_jclic_orig)
     301               
     302                #Busco el ficero jclic para saber el nombre real
     303                with zipfile.ZipFile(name_zip,"r") as zip_file:
     304                        for member in zip_file.namelist():
     305                                filename=os.path.basename(member)
     306                                #Me aseguro que no es una linea en blanco
     307                                if filename.endswith(".jclic"):
     308                                        #print "tengo el fichero jclic: %s"%filename
     309                                        tilte="Untiled"
     310                                        with zip_file.open(filename) as f:
     311                                                for line in f:
     312                                                        #obtengo el titulo del index
     313                                                        if "<title>" in line or "<Title>" in line:
     314                                                                title=title_file(line)[1]
    300315
    301316       
  • lliurex-jclic-shared/trunk/fuentes/lliurex-jclic-shared.install-files/net/server-sync/share/jclic-aula/index.php

    r5378 r5588  
    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>
     
    294294                        function replaceAccents($str) {
    295295
    296                                 $search = explode(",","ç,æ,œ,á,é,í,ó,ú,à,è,ì,ò,ù,ä,ë,ï,ö,ü,ÿ,â,ê,î,ô,û,Ã¥,ø,Ø,Ã
    297 ,Á,À,Â,Ä,È,É,Ê,Ë,Í,Î,Ï,Ì,Ò,Ó,Ô,Ö,Ú,Ù,Û,Ü,Ÿ,Ç,Æ,Œ");
     296                                $search = explode(",","ç,æ,œ,á,é,í,ó,ú,à,è,ì,ò,ù,ä,ë,ï,ö,ü,ÿ,â,ê,î,ô,û,å,ø,Ø,Å,Á,À,Â,Ä,È,É,Ê,Ë,Í,Î,Ï,Ì,Ò,Ó,Ô,Ö,Ú,Ù,Û,Ü,Ÿ,Ç,Æ,Œ");
    298297
    299298                                $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");
     
    311310                                        $temp_array+=array($library=>array($file_name=>array('id'=>$id, 'title'=> $title)));
    312311                                }
    313                                 //echo "se añadieron cosas";
     312                                //echo "se añadieron cosas";
    314313                                return $temp_array;
    315314                        }
     
    391390                                } else{
    392391                                                //echo "JCLIC";
    393                                                 //Debemos transformarlo en HTML5 con el python crado cuando se haga click sobre él
     392                                                //Debemos transformarlo en HTML5 con el python crado cuando se haga click sobre él
    394393                                                /*if ( strcasecmp( $resource, 'menu' ) == 0){
    395394                                                        $resource="menu_llx";
    396395                                                 }*/
     396                                                 //var_dump($resource);
    397397                                                 $file_name="$dir/$resource";
    398398                                                 $finded="False";
     
    417417                                                                $indent = pathinfo($indent, PATHINFO_FILENAME);
    418418                                                        }
    419                                                         if ( (strcasecmp( $title, 'Sin nombre' ) == 0) || (strcasecmp( $title, 'sense nom' ) == 0)){
     419                                                        if ( (strcasecmp( $title, 'Sin nombre' ) == 0) || (strcasecmp( $title, 'sense nom' ) == 0) || (strcasecmp( $title, '' ) == 0)){
    420420                                                                $title=$indent;
    421421                                                        }
    422422                                                        $title = preg_replace("/[^a-zA-Z 0-9]+/", "", $title );
    423423                                                        $temp_array=adding_resource_json($temp_array, $library, $file_name, $indent, $title);
     424                                                        //var_dump($temp_array);
    424425                                                }
    425426                                                if (in_array($indent,$activities_orig)){
    426427                                                        $finded="True";
    427428                                                }
     429                                                //var_dump($finded);
    428430                                                if ($finded=="False"){
    429431
     
    506508                                                                                if((substr($item, -6 )==".jclic")){
    507509                                                                                                $resource=$item;
     510                                                                                                //var_dump($item);
    508511                                                                                                break;
    509512                                                                                }
     
    534537                                           
    535538                                                                                        //if((substr($item, -4)==".zip")){
     539                                                                                        //var_dump($item);
    536540                                                                                        $itemdir="$jclicdirectory/$item";
     541                                                                                        //var_dump($itemdir);
    537542                                                                                        if(is_dir($itemdir) && (strstr($jclicdirectory,'jclic_upload'))){
    538543                                                                                                $index_file="$jclicdirectory/$item/index.html";
     
    549554                                                                                                                }
    550555                                                                                                        } else {
    551                                                                                                         //lista directorio que no posee Index.html y lo creará
     556                                                                                                        //lista directorio que no posee Index.html y lo creara
    552557                                                                                                        //echo "Crear INDEX excepto 0rig";
    553                                                                                                         $item_extended="$item/$item.jclic.zip";
    554                                                                                                          //var_dump($item_extended);
     558                                                                                                                $item_library="/net/server-sync/share/jclic-aula/$jclicdirectory/$item/$item.jclic";
     559                                                                                                                $item_library2="/net/server-sync/share/jclic-aula/$jclicdirectory/$item/library.jclic";
     560                                                                                                                //var_dump($item_library);
     561                                                                                                                if (file_exists($item_library)){
     562                                                                                                                        $item_extended="$item/$item.jclic";
     563                                                                                                                        //echo "existe";
     564                                                                                                                }else{
     565                                                                                                                        if (file_exists($item_library2)){
     566                                                                                                                                $item_extended="$item/library.jclic";
     567                                                                                                                                //echo "existe2";
     568                                                                                                                        }else{
     569                                                                                                                                $item_extended="$item/$item.jclic.zip";
     570                                                                                                                                //echo "existe3";
     571                                                                                                                        }
     572                                                                                                               
     573                                                                                                                }
     574                                                                                                        //var_dump($item_extended);
    555575                                                                                                        list ($title2, $temp_array)=CreateButton($jclicdirectory, $item_extended, "jclic",$locale ,$activities_orig, $library, $temp_array);
    556576                                                                                                        $activities[] = trim($title2);
     
    607627                                } // While
    608628                        if($numrsc==0){
    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>";
     629                                if ($locale=="valencia") echo "<div class='rscinfo'>No hi ha recursos disponibles en esta secció</div>";
     630                                else echo "<div class='rscinfo'>No hay recursos disponibles en esta sección</div>";
    611631                        }
    612632               
     
    630650                                        $testfile=$title . "." . $locale ;
    631651                                        if ( ! is_file( $testfile ) )   $txt = file_get_contents($title);
    632                                         // en caso contrario, se muestra sólo si tiene extension para el "locale" actual
     652                                        // en caso contrario, se muestra sólo si tiene extension para el "locale" actual
    633653                                } elseif ( ereg("\.title." . $locale, $title) )
    634654                                {
     
    755775               
    756776               if($numrsc==0){
    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>";
     777                        if ($locale=="valencia") echo "<div class='rscinfo' id='rscpersonal'>No hi ha recursos disponibles en esta secció</div>";
     778                        else echo "<div class='rscinfo' id='rscpersonal'>No hay recursos disponibles en esta sección</div>";
    759779                }
    760780
     
    774794                                <?php
    775795                                 if ($locale=="valencia") echo "Arrossega nous recursos fins aci";
    776                                  else echo "Arrastra nuevos recursos hasta aquí";
     796                                 else echo "Arrastra nuevos recursos hasta aquí";
    777797                                ?>
    778798                                </div>
     
    805825          </div>
    806826          <div class="dz-progress"><span class="dz-upload" data-dz-uploadprogress></span></div>
    807           <div class="dz-success-mark"><span>✔</span></div>
    808           <div class="dz-error-mark"><span>✘</span></div>
     827          <div class="dz-success-mark"><span></span></div>
     828          <div class="dz-error-mark"><span></span></div>
    809829          <div class="dz-error-message"><span data-dz-errormessage></span></div>
    810830        </div>
Note: See TracChangeset for help on using the changeset viewer.