[Summary view] [Print] [Text view]

   1  <?php
   2  //  $Id: wpkg.php 7308 2012-06-28 15:21:55Z olikin $
   3  
   4  $login = "";
   5  $wpkgUser = false;
   6  include  "inc/wpkg.auth.php";
   7  
   8  if ( $wpkgUser && ($login != "")) {
   9      // Mise à jour de tmp/wpkg.$login.xml en cas de besoin
  10      exec ( "$wpkgwebdir/bin/wpkgXml.sh '$login'", $output, $return_value);
  11      if ( $return_value == 0 ) {
  12          get_xml("tmp/wpkg.$login.xml");
  13      } else {
  14          header("HTTP/1.1 505 Exec error");
  15          header("Status: 505 Erreur d'execution"); 
  16          print_r($output);
  17      }
  18  }
  19  ?>