phpDocumentor VFront
Administration
[ class tree: VFront ] [ index: VFront ] [ all elements ]
VFront
Packages:
VFront

Source for file doc_tecnica.php

Documentation is available at doc_tecnica.php

  1. <?php
  2. /**
  3.  * @desc File di gestione della documentazione tecnica
  4.  * @package VFront
  5.  * @subpackage Administration
  6.  * @author M.Marcello Verona
  7.  * @copyright 2007 M.Marcello Verona
  8.  * @version 0.90
  9.  * @license http://www.gnu.org/licenses/gpl.html GNU Public License
  10.  */
  11. require_once("../inc/conn.php");
  12. require_once("../inc/layouts.php");
  13. require_once("../inc/func.comuni.php");
  14.  
  15. proteggi(2);
  16.  
  17. // Dimensione del max_upload preso dal php.ini (è indicato in M)
  18. $max_kb=(int) ini_get('post_max_size') *1024 *1024;
  19.  
  20.  
  21.  
  22.  
  23. /**
  24.  * @desc Rileva il content-type dall'estensione
  25.  * @todo Ipotizzare un metodo alternativo e più sicuro
  26.  * @param string $filename Nome de file
  27.  * @return string Content-type
  28.  */
  29. function mime_content_type_($filename)
  30. {
  31.     
  32.     $info=pathinfo($filename);
  33.  
  34.    $mime = array(
  35.        'rtf' => 'application/rtf',
  36.        'doc' => 'application/doc',
  37.        'pdf' => 'application/pdf',
  38.        'xls' => 'application/xls',
  39.        'odt' => 'application/odt',
  40.        'sxw' => 'application/sxw',
  41.        'zip' => 'application/x-zip-compressed',
  42.        'rar' => 'application/rar',
  43.        'txt' => 'text/txt'
  44.      
  45.    );
  46.    
  47.    
  48.    return $mime[$info['extension']];
  49. }
  50.  
  51.  
  52. /**
  53.  * @desc Rileva il content-type dall'estensione e genera una icona per i formati più comuni
  54.  * @param string $filename Nome de file
  55.  * @return string Icona in immagine HTML
  56.  */
  57. function mime_content_type_image($filename)
  58. {
  59.     
  60.     
  61.    $mime = array(
  62.        '.rtf' => 'doc.gif',
  63.        '.doc' => 'doc.gif',
  64.        '.pdf' => 'pdf.gif',
  65.        '.xls' => 'xls.gif',
  66.        '.odt' => 'txt.gif',
  67.        '.sxw' => 'txt.gif',
  68.        '.zip' => 'zip.gif',
  69.        '.rar' => 'zip.gif',
  70.        '.txt' => 'generic.gif'     
  71.    );
  72.    
  73.    return "<img src=\"img/mime/".$mime[strrchr($filename,'.')]."\" alt=\"tipo: ".substr(strrchr($filename, '.'),1)."\" />";
  74. }
  75.  
  76.  
  77.  
  78.  
  79.  
  80.  
  81. // Se c'è inserisce il file
  82. if(isset($_GET['add']) && count($_FILES)>0 && $_SESSION['user']['livello']>1){
  83.     
  84.         // il formato è corretto?
  85.         if(strlen(mime_content_type_($_FILES['documento']['name']))==0){
  86.             header("Location: ".$_SERVER['PHP_SELF']."?ko=tipo_non_valido");
  87.             exit;
  88.         }
  89.         
  90.         // Se non è troppo grande
  91.         if($_FILES['documento']['size']>$max_kb){
  92.             
  93.             header("Location: ".$_SERVER['PHP_SELF']."?ko=max_kb");
  94.             exit;
  95.         }
  96.         
  97.         $NOME_FILE=preg_replace("'[^a-z0-9._-]+'i","_",$_FILES['documento']['name']);
  98.         
  99.         echo $_FILES['documento']['tmp_name'] . " ---- ". _PATH_HELPDOCS2."/".$NOME_FILE;
  100.         
  101.         
  102.         $op=move_uploaded_file($_FILES['documento']['tmp_name'], _PATH_HELPDOCS2."/".$NOME_FILE);
  103.         
  104.         if($op){
  105.             header("Location: ".$_SERVER['PHP_SELF']."?ok");
  106.             exit;
  107.         }
  108.         else{
  109.             header("Location: ".$_SERVER['PHP_SELF']."?ko=operazione_non_riuscita");
  110.             exit;
  111.         }
  112.     
  113.     
  114. }
  115.  
  116.  
  117.  
  118.  
  119.  
  120.  
  121. // CANCELLAZIONE DEL FILE:
  122.  
  123.  
  124. if(isset($_GET['del']) && $_SESSION['user']['livello']>1){
  125.     
  126.     $id_file= $_GET['del'];
  127.     
  128.     // PRENDI I FILES
  129.     
  130.     $dir= _PATH_HELPDOCS2;
  131.     
  132.     // Open a known directory, and proceed to read its contents
  133.     if (is_dir($dir)) {
  134.         if ($dh = opendir($dir)) {
  135.             while (($file = readdir($dh)) !== false) {
  136.                 if(!is_dir($file)){
  137.                 
  138.                     $docs[]=array('nome'=>$file, 
  139.                                   'type'=>mime_content_type_($dir."/".$file), 
  140.                                   'data'=>filectime($dir."/".$file),
  141.                                   'size'=>filesize($dir."/".$file)
  142.                                   );
  143.                 }
  144.             }
  145.             closedir($dh);
  146.         }
  147.     }
  148.     
  149.     $docs=ordina_matrice($docs,$data,'DESC');
  150.  
  151.     if(!is_file($dir."/".$docs[$id_file]['nome'])){
  152.         header("Location: ".$_SERVER['PHP_SELF']."?ko=file_inesistente");
  153.         exit;
  154.     }
  155.         
  156.  
  157.     $op=unlink($dir."/".$docs[$id_file]['nome']);
  158.     
  159.     if($op){
  160.             header("Location: ".$_SERVER['PHP_SELF']."?eliminato");
  161.             exit;
  162.     }
  163.     else{
  164.             header("Location: ".$_SERVER['PHP_SELF']."?ko=operazione_non_riuscita");
  165.             exit;
  166.     }
  167.     
  168. }
  169.  
  170. // DOWNLOAD DEL FILE
  171.     
  172.  
  173. else if(isset($_GET['doc'])){
  174.     
  175.     
  176.  
  177.     // PRENDI I FILES
  178.     
  179.     $dir= _PATH_HELPDOCS2;
  180.     
  181.     // Open a known directory, and proceed to read its contents
  182.     if (is_dir($dir)) {
  183.         if ($dh = opendir($dir)) {
  184.             while (($file = readdir($dh)) !== false) {
  185.                 if(!is_dir($file)){
  186.                 
  187.                     $docs[]=array('nome'=>$file, 
  188.                                   'type'=>mime_content_type_($dir."/".$file), 
  189.                                   'data'=>filemtime($dir."/".$file),
  190.                                   'size'=>filesize($dir."/".$file)
  191.                                   );
  192.                 }
  193.             }
  194.             closedir($dh);
  195.         }
  196.     }
  197.     
  198.     $docs=ordina_matrice($docs,$data,'DESC');
  199.     
  200.     
  201.     $kk=(int) $_GET['doc'];
  202.     
  203.         if(file_exists(_PATH_HELPDOCS2."/".$docs[$kk]['nome'])){
  204.            header("Pragma: public");
  205.            header('Expires: '.gmdate('D, d M Y H:i:s').' GMT');
  206.            header("Cache-Control: must-revalidate, post-check=0, pre-check=0");
  207.            header("Cache-Control: private",false);
  208.            header("Content-Type: application/force-download");
  209.            header('Content-Disposition: attachment; filename="'.$docs[$kk]['nome'].'"');
  210.            header("Content-Transfer-Encoding: binary");
  211.            header('Content-Length: '.$docs[$kk]['size']);
  212.            set_time_limit(0);
  213.            @readfile(_PATH_HELPDOCS2."/".$docs[$kk]['nome']) OR die("<html><body OnLoad=\"javascript: alert('Nessun file trovato');history.back();\" bgcolor=\"#F0F0F0\"></body></html>");
  214.        
  215.         }
  216.         else{    
  217.             
  218.             openErrorGenerico("File non trovato!",true);
  219.             
  220.         }
  221.   exit;
  222.     
  223. }
  224.  
  225.     $files = array("sty/admin.css","sty/tabelle.css","js/confirm_delete.js");
  226.  
  227.     echo openLayout1("Documentazione tecnica",$files);
  228.     
  229.     echo "<div id=\"briciole\"><a href=\"index.php\">home amministrazione</a> &raquo; documentazione tecnica</div>";
  230.     
  231.     echo "<h1>Documentazione tecnica</h1>\n";
  232.     
  233.     
  234.     if(isset($_GET['ko'])){
  235.         
  236.         switch($_GET['ko']){
  237.             
  238.             case "max_kb": echo "<p><strong class=\"var\">Attenzione!</strong> file troppo grande. E' possibile inviare file fino a ".($max_kb/1024)." kb</p>\n";
  239.             break;
  240.             
  241.             case "tipo_non_valido": echo "<p><strong class=\"var\">Attenzione!</strong> formato non consentito. E' possibile inviare file dei seguenti formati: doc, xls, pdf, rtf, zip, txt, odt, sxw</p>\n";
  242.             break;
  243.             
  244.             case "operazione_non_riuscita": echo "<p><strong class=\"var\">Attenzione!</strong> operazione non riuscita. Qualora il tipo e le dimensioni del file (massimo ".($max_kb/1024)." kb) fossero corrette ed il problema continuasse a verificarsi, contattare l'<a href=\"mailto:"._SYS_ADMIN_MAIL."\">amministratore di sistema</a>.</p>\n";
  245.             break;
  246.         }
  247.     }
  248.     elseif (isset($_GET['ok'])){
  249.         
  250.         echo "<p><strong class=\"verde\">File caricato correttamente.</strong></p>\n";
  251.     }
  252.     elseif(isset($_GET['eliminato'])){
  253.         echo "<p><strong class=\"arancio\">File eliminato correttamente.</strong></p>\n";
  254.     }
  255.     
  256.     
  257.     // PRENDI I FILES
  258.     
  259.     $dir= _PATH_HELPDOCS2;
  260.     
  261.     // Open a known directory, and proceed to read its contents
  262.     if (is_dir($dir)) {
  263.         if ($dh = opendir($dir)) {
  264.             while (($file = readdir($dh)) !== false) {
  265.                 if(!is_dir($file)){
  266.                 
  267.                     $docs[]=array('nome'=>$file, 
  268.                                   'type'=>mime_content_type_($dir."/".$file), 
  269.                                   'data'=>filemtime($dir."/".$file),
  270.                                   'size'=>filesize($dir."/".$file)
  271.                                   );
  272.                 }
  273.             }
  274.             closedir($dh);
  275.         }
  276.     }
  277.     
  278.     $docs=ordina_matrice($docs,$data,'DESC');
  279.     
  280.     echo "<div class=\"info\">
  281.         <p>In questa sezione sono presenti documenti con informazioni sul funzionamento dell'applicazione e sul database. <br />
  282.         Cliccare sul nome del documento per aprirlo, 
  283.         oppure cliccare con il tasto destro e scegliere <em>Salva oggetto con nome</em>
  284.          per scaricare il documento sul proprio computer.<br />
  285.         </p>
  286.         </div>\n";
  287.     
  288.     if($_SESSION['user']['livello']>1){
  289.         echo "<p><a href=\"javascript:;\" onclick=\"document.getElementById('add_record').style.display='';\">Aggiungi file</a></p>\n";
  290.     
  291.     }
  292.     
  293.     
  294.     echo "<table summary=\"Tabella file help\" class=\"tab-report-dip\">\n";
  295.     
  296.     echo "<tr>
  297.         <th class=\"lilla\" colspan=\"2\">Documento</th>
  298.         
  299.         <th class=\"lilla\">Ultima modifica</th>
  300.         <th class=\"lilla\">Dimensione</th>",
  301.         ($_SESSION['user']['livello']>2) ?
  302.         "<th class=\"lilla\">Elimina</th>" : "",
  303.         "</tr>\n
  304.         ";
  305.         
  306. //    $dir_down=str_replace(FRONT_DOCROOT,'',_PATH_HELPDOCS);
  307.     
  308.     for($i=0;$i<count($docs);$i++){
  309.         
  310.         echo "\t\t<tr><td>".mime_content_type_image($docs[$i]['nome'])."</td>
  311.             <td><a href=\"?doc=$i\">".$docs[$i]['nome']."</a></td>
  312.             <td>".date("d/m/Y H:i",$docs[$i]['data'])."</td>
  313.             <td>".round($docs[$i]['size']/1024,0)." Kb</td>",
  314.             ($_SESSION['user']['livello']>2) ?
  315.             "<td><a href=\"javascript:;\" onclick=\"confirm_delete_f(this,$i);\" >elimina</a></td>" : "",
  316.             "</tr>";
  317.     }
  318.     
  319.     echo "</table>\n";
  320.     
  321.     $ADD_FILE=
  322.   '    
  323.     <div id="add_record" style="display: none; top: 20%; left: 20%; width:500px; height: 230px; ">
  324.                            
  325.         <div style="text-align: right;">
  326.         
  327.             <a href="javascript:;" onclick="document.getElementById(\'add_record\').style.display=\'none\';"> Chiudi X </a>
  328.         
  329.         </div>
  330.         
  331.                      
  332.         <div style="margin: 20px;">
  333.         
  334.             <h3> Aggiungi file</h3>
  335.         
  336.             <p>Sono consentiti i file dei seguenti formati: <strong>doc, xls, pdf, rtf, zip, txt, odt, sxw</strong></p>
  337.             
  338.             <form method="post" enctype="multipart/form-data" action="'.$_SERVER['PHP_SELF'].'?add"> 
  339.                 
  340.                  <label for="immagine"><strong>File da inserire</strong></label><br/>
  341.                   <input type="file" name="documento" id="documento" size="60" />
  342.                 <br /><br />
  343.                 <input name="invia" value="   Invia   " type="submit" />
  344.             
  345.             </form>
  346.         
  347.         </div>
  348.  
  349.      
  350. </div>';
  351.   
  352.   if($_SESSION['user']['livello']>1){
  353.       echo $ADD_FILE;
  354.   }
  355.   
  356.     
  357.     echo closeLayout1();
  358. ?>
Documentation generated on Sat, 22 Sep 2007 11:49:58 +0200 by phpDocumentor 1.4.0a2