source: lliurex-jclic-shared/trunk/fuentes/lliurex-jclic-shared.install-files/net/server-sync/share/jclic-aula/index.php @ 576

Last change on this file since 576 was 576, checked in by jrpelegrina, 3 years ago

First release to xenial

File size: 13.0 KB
Line 
1<!DOCTYPE HTML>
2<html>
3<head>
4        <meta http-equiv="content-type" content="text/html; charset=utf-8">
5        <link rel="stylesheet" type="text/css" href="css/dropzone.css" media="screen" />
6        <link rel="stylesheet" type="text/css" href="css/lliurex.css" media="screen" />
7        <title>Servidor LliureX</title>
8        <!--   i si llevem aço per el local?-->
9        <!--script language="JavaScript" src="http://clic.xtec.cat/dist/jclic/jclicplugin.js" type="text/javascript"></script-->
10    <script language="JavaScript" src="./jclic/jclicplugin.js" type="text/javascript"></script>
11        <script type="text/javascript" src="./lib/jquery-2.1.1.min.js"></script>
12        <script type="text/javascript" src="./lib/jquery.form.min.js"></script>
13        <script type="text/javascript" src="./js/lliurex.js"></script>
14        <script type="text/javascript" src="./lib/dropzone.js"></script>
15
16        <script type="text/javascript">
17                //var mydata = new FormData();
18                var index=0;
19
20               
21                function carga(jclicpath)
22                {
23                        setJarBase('http://clic.xtec.cat/dist/jclic');
24                        //setJarBase(document.location+'/jclic');
25                         writePlugin(jclicpath, '100%', '100%');
26                }
27               
28            $(document).ready(function(){
29                       
30                               
31                        // Get the template HTML and remove it from the doumenthe template HTML and remove it from the doument         
32                        /*var previewNode = $("#template");
33                        previewNode.id = "";
34                        var previewTemplate = previewNode.parent().innerHTML;
35                        previewNode.remove();
36                        //previewNode.parent().remove(previewNode);*/
37                        var previewTemplate=$("#template").prop('outerHTML');
38                        $("#template").remove();
39                       
40            Dropzone.autoDiscover = false;
41           
42                        $("div#files_upload").dropzone({
43              paramName: "file",
44              /*init: function(){
45              },*/
46                           previewTemplate: previewTemplate,
47                           thumbnail: function(file, dataUrl) {
48                                alert(file);
49                                          /* do something else with the dataUrl */
50                          },
51              url: "upload.php",
52              acceptedFiles: ".zip, .jclic",
53                          addRemoveLinks: true,
54               success: function(file, response) {
55                        $(".dz-preview.dz-processing").hide(500, function(){
56                                                                //$(".dz-message").css("display", "block");
57                                                                $(".dz-message").css("opacity", "50");
58                                                                var rscname=($(response).attr("id"));
59                                                                var rsc_div=$("#"+rscname);
60                                                                // Only add if is not in GUI
61                                                                if (rsc_div.length==0){
62                                                                        $("#custom_links").append(response);   
63                                                                        $('#rscpersonal').fadeOut();
64                                                                }
65                                                                //var rsc_div=$("div#"+rscname);
66                                                                //var rsc_div=$("#"+rsc_div);
67                                                               
68                                                               
69                                                               
70                                                        });
71
72                                       
73                                }
74                               
75             
76              });
77         
78           
79          });
80
81   
82   
83   
84                       
85               
86        </script>
87        <style type="text/css">
88        </style>
89</head>
90<body>
91    <body>
92       
93        <div id="wrapper">
94                <?php
95               
96               
97                /*function do_call($host, $port, $request) {            // XMLRPC call
98                        echo "1";
99                   $url = "https://$host:$port";
100                   echo "2";
101                   $header[] = "Content-type: text/xml";
102                   $header[] = "Content-length: ".strlen($request);
103                  echo "3";
104                   $ch = curl_init(); 
105                   curl_setopt($ch, CURLOPT_URL, $url);
106                   curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
107                   curl_setopt($ch, CURLOPT_TIMEOUT, 1);
108                   curl_setopt($ch, CURLOPT_HTTPHEADER, $header);
109                   curl_setopt($ch, CURLOPT_POSTFIELDS, $request);
110                  echo "4";
111                   $data = curl_exec($ch);     
112                   if (curl_errno($ch)) {
113                        echo "5:$ch\n";
114                           print curl_error($ch);
115                   } else {
116                           curl_close($ch);
117                           echo "6";
118                           return $data;
119                   }
120           }*/
121               
122                function validate($user, $pass){
123                        try{
124
125                        //$ret=system("python ./validate_user.py $user $pass");
126                                $ret=exec("python ./validate_user.py $user $pass");
127                               
128                                //echo "RET IS:$ret\n";
129                                if ($ret=="true") {
130                                        //echo "starting session";
131                                        session_start(); 
132                                        $_SESSION['user'] = $user;
133                                        $_SESSION['role'] ="admin";
134                                        return true;
135                                }
136                                else return false;
137                               
138                        } catch(Exception $e) {
139                 echo ('Caught exception: '.$e->getMessage()."\n");
140                        }
141                }; // End function validate
142               
143               
144                //Clear session
145                session_start();
146                $_SESSION = array();
147                session_destroy();             
148               
149                try{
150                        $user = $_POST["user"];
151                        $pass = $_POST["pass"];
152                } catch(Exception $e){
153                        $user=false;
154                }
155               
156                if($user){
157                        if (validate($user, $pass)) include ("logout.php");
158                        else include ("login.php");
159                } else include ("login.php");
160               
161
162                ?>     
163                <div id="header">
164                        <div id="lpanel">
165                                <ul>
166                                        <div class="hdrbutton"><a href="http://lliurex.net"><img id="llxbt" class="btimg" src="imagen/lliurex.jpg"></a></div>
167                                        <div class="hdrbutton"><a href="http://mestreacasa.gva.es"><img id="mestrebt" class="btimg" src="imagen/mestreacasa.jpg"></a></div>
168                                        <div class="hdrbutton"><a href="http://sai.edu.gva.es"><img id="saibt" class="btimg" src="imagen/sai.gif"></a></div>                                   
169                                </ul>
170                        </div>
171
172                </div>
173               
174               
175               
176               
177                <div id="content">
178                       
179           <div id="notice">
180                        <div id="jclic_rsc" class="jclic_rsc">
181                        Recursos JClic Aula
182                        </div>
183                       
184                   <?php
185                        include_once('get_locale.php');
186                        include_once 'preg_find.php';
187                       
188            function getNameFromZip($dir, $resource){
189                                $rsc_name="";
190                try{
191                    $zip = zip_open("$dir/$resource");               
192                    if ($zip)
193                    {
194                      while ($zip_entry = zip_read($zip))
195                        {
196                        if(substr(zip_entry_name($zip_entry),-6)==".jclic"){
197                                                       
198                                                        if (zip_entry_open($zip, $zip_entry, "r")) {
199                                                                 
200                                                                 $data = zip_entry_read($zip_entry, zip_entry_filesize($zip_entry));
201                                                                 $zip_entry_xml=new SimpleXMLElement($data);
202                                                                 $rsc_name=$zip_entry_xml->settings->title;                           
203                            }
204                                                        zip_entry_close($zip_entry);                           
205                        }
206                    }
207                                       
208                    zip_close($zip);
209                    }
210                                        return $rsc_name;
211                } // try
212                catch(Exception $e) {
213                    echo 'Caught exception: '.$e->getMessage()."\n";
214                                        return $dir;
215                }
216
217            }
218                       
219       
220                        function CreateButton($dir, $resource, $class){
221                                               
222                                if ($class=="html"){
223                                       
224                                                print("<div class='click_banner' id='".str_replace(".", "_", $resource)."' onClick='document.location=\"$dir/$resource\"'>\n");
225                                                //print("$dir/$resource");
226                                                print("<div class='rsc_name'>$dir</div>");
227                                                print("</div>");
228                                } else{
229                        $rsc_name=getNameFromZip($dir, $resource);
230                                                if (!$rsc_name){$rsc_name=$dir;}
231                                                print("<div class='click_banner' id='".str_replace(".", "_", $resource)."'' onClick='carga(\"$dir/$resource\")'>");
232                                                //print("$dir/$resource");
233                                                print("<div class='rsc_name'>$rsc_name</div>");
234                                                print("</div>");
235                                }
236                        }
237           
238           
239            function LoadResourcesFromDir($jclicdirectory){
240
241                                                        $rscfound=0; // Resources found
242                   
243                                                        $jclicconten = opendir($jclicdirectory);
244                                                        $lista = array();
245                                                        while($jclicfile = readdir($jclicconten))
246                                                        {
247                                                                if (substr("$jclicfile", 0, 1) != ".")
248                                                                {
249                                                                        $lista[] = $jclicfile;
250                                                                }
251                                                        }
252                                                       
253                                                        if(count($lista)>0)
254                                                        {
255                                                                sort($lista);
256                                                               
257                                                                // Search .html
258                                                                $resource="";
259                                                                foreach($lista as $item)
260                                                                    if($item=="index.html"){
261                                                                        $resource=$item;
262                                                                        break;    }
263                                                                                                                               
264                                                                if ($resource!=""){ // Found .html
265                                                                        // Button for resource
266                                                                        CreateButton($jclicdirectory, $resource, "html");
267                                                                       
268                                                                } else{ // Not found .html... search jclic.jclic                                               
269                                                                        foreach($lista as $item){
270                                                                                if($item=="jclic.jclic"){
271                                                                                                $resource=$item;
272                                                                                                break;
273                                                                                }
274                                                                    }
275                                                                       
276                                                                        if($resource!=""){ // Found jclic.jclic
277                                                                                //Button for jclic.jclic
278                                                                                CreateButton($jclicdirectory, $resource, "jclic");
279                                                                               
280                                                                        } else {
281                                                                                foreach($lista as $item){
282                                                                                if((substr($item, -6 )==".jclic")){
283                                                                                                $resource=$item;
284                                                                                                break;
285                                                                                }
286                                                                      }
287                                                                         
288                                                                          if($resource!=""){ // Found any .jclic
289                                                                                //Button for *.jclic
290                                                                                CreateButton($jclicdirectory, $resource, "jclic");
291                                                                        } else {
292                                       
293                                                                                foreach($lista as $item){
294                                           
295                                                                                if((substr($item, -10 )==".jclic.zip")){
296                                            //echo "FOUND JCLIC LISTS!!!!!";
297                                                                                                $resource=$item;
298                                                if ($resource!=""){
299                                                        // Button for .jclic.zip
300                                                        CreateButton($jclicdirectory, $resource, "jclic");
301                                                        // Increasing number of elements
302                                                        $rscfound++;
303                                                }
304                                                                                                //break;
305                                                                                }                                                               
306                                                                               
307                                                                        }
308                                                                       
309                                                                        /*if ($resource!=""){ -------> MOVED UP
310                                                                                // Button for .jclic.zip
311                                                                                CreateButton($jclicdirectory, $resource, "jclic");
312                                                                        }*/
313                                                                }
314                                                                }
315                                                                       
316                                                        }
317                                                }
318                                return ($rscfound);
319                       
320               
321            }
322           
323            function LoadResourcesFromMainDir($basePath, $locale){
324                // Loads any jclic resource from basepath
325               
326                $numrsc=0;
327                // loop through the array of files and print them all
328                $rootdirectory = opendir($basePath);
329                                //Read directory
330                                while($jclicdirectory = readdir($rootdirectory)) 
331                                {
332                                        //Only list directories (or zips)
333                    //echo($jclicdirectory." is ".mime_content_type($jclicdirectory)."<br/>");
334                   
335                                        if (filetype($jclicdirectory) == "dir" ||
336                        filetype($jclicdirectory) == "link")
337                                        {
338                        //if (substr($jclicdirectory, -4)==".zip") echo "ES UN ZIP";
339                       
340                                                //Only enter non hide directory
341                                                if (substr("$jclicdirectory", 0, 1) != "."&&$jclicdirectory!="jclic_uploads")
342                                                {
343                         $rscs=LoadResourcesFromDir($jclicdirectory, $locale);
344                         $numrsc+=$rscs;
345                        }
346                                                               
347                                } // if filetype...
348                                } // While
349                        if($numrsc==0){
350                                if ($locale=="valencia") echo "<div class='rscinfo'>No hi ha recursos disponibles en esta secció</div>";
351                                else echo "<div class='rscinfo'>No hay recursos disponibles en esta sección</div>";
352                        }
353               
354            }
355                       
356                       
357                        //obtener el locale
358                        $locale= get_locale();
359                       
360                         
361                        // buscar title
362                        $titles = array();
363                       
364                        $titles = preg_find("/\.title/", "./");
365                        foreach ($titles as $title) {
366                                $txt="";
367                                // comprobamos si no tiene extension "localizada"
368                                if ( ereg("\.title$", $title) )
369                                {
370                                        // lo mostraremos solamente si no existe version especifica para nuestro "locale"
371                                        $testfile=$title . "." . $locale ;
372                                        if ( ! is_file( $testfile ) )   $txt = file_get_contents($title);
373                                        // en caso contrario, se muestra sólo si tiene extension para el "locale" actual
374                                } elseif ( ereg("\.title." . $locale, $title) ) 
375                                {
376                                        $txt = file_get_contents($title);
377                                }
378                                echo "<h1>$txt</h1>";
379                        }
380                        ?>
381                 
382                   
383                        <div id="links" class="links">
384                        <?php                           
385                                LoadResourcesFromMainDir(".", $locale);
386                        ?>
387            </div>
388            <div id="jclic_rsc" class="jclic_rsc">
389            <?php
390            if ($locale=="valencia") echo "Recursos JClic Personals";
391            else echo "Recursos JClic Personales";
392            ?>
393            </div>
394            <div id="custom_links" class="links">
395            <?php                               
396                $numrsc=LoadResourcesFromDir("jclic_uploads", $locale);
397               if($numrsc==0){
398                        if ($locale=="valencia") echo "<div class='rscinfo' id='rscpersonal'>No hi ha recursos disponibles en esta secció</div>";
399                        else echo "<div class='rscinfo' id='rscpersonal'>No hay recursos disponibles en esta sección</div>";
400                }
401
402     
403                        ?>
404
405                       
406        </div>
407               
408               
409                <?php
410                 if (isset($_SESSION['role'])&&($_SESSION['role']="admin")) {
411                ?>
412                               
413                        <div class="dropzone upload" id="files_upload">
414                                <div class="dz-message">
415                                <?php
416                                 if ($locale=="valencia") echo "Arrossega nous recursos fins aci";
417                                 else echo "Arrastra nuevos recursos hasta aquí";
418                                ?>
419                                </div>
420                        </div>
421                <?php
422                 }
423                ?>
424   
425                   
426   
427
428        </div>
429                   
430                   
431       
432        <div id="foot">
433                <div class="vers">Running Lliurex <?php $vers = shell_exec('lliurex-version'); echo $vers; ?></div>
434        </div>
435       
436        </div>
437       
438       
439        <!-- Template for Dropzone items -->
440
441        <div id="template" class="dz-preview dz-file-preview">
442          <div class="dz-details">
443                <div class="dz-filename"><span data-dz-name></span></div>
444               
445                <img data-dz-thumbnail />
446          </div>
447          <div class="dz-progress"><span class="dz-upload" data-dz-uploadprogress></span></div>
448          <div class="dz-success-mark"><span>✔</span></div>
449          <div class="dz-error-mark"><span>✘</span></div>
450          <div class="dz-error-message"><span data-dz-errormessage></span></div>
451        </div>
452
453        <!-- End for template -->
454
455       
456       
457
458</body>
459</html>
Note: See TracBrowser for help on using the repository browser.