[Summary view] [Print] [Text view]

   1  <?php
   2  // ## $Id: rapports.php 2540 2007-10-19 06:47:30Z jlebail $ ##
   3  include  "inc/wpkg.auth.php";
   4  
   5  // Mise à jour de rapports.xml en cas de besoin
   6  exec ( "bash $wpkgwebdir/bin/rapports.sh", $output, $return_value);
   7  if ( $return_value == 0 ) {
   8      get_xml("rapports/rapports.xml");
   9  } else {
  10      header("HTTP/1.1 505 Exec error");
  11      header("Status: 505 Erreur d'execution"); 
  12      print_r($output);
  13  }
  14  ?>