[Summary view] [Print] [Text view]

   1  <?php
   2  // ## $Id: wpkgtesting.php 6763 2012-01-15 16:17:05Z olikin $ ##
   3  include  "inc/wpkg.auth.php";
   4  
   5  $url='http://wawadeb.crdp.ac-caen.fr/unattended/se3_wpkglist.php?branch=testing';
   6  exec ( "cd $wpkgwebdir;wget -N --timeout=15 --tries=3 '$url' 2>&1 && touch 'se3_wpkglist.php?branch=testing'", $output, $return_value);
   7  if ( $return_value == 0 ) {
   8      get_xml('../../../../www/se3/wpkg/se3_wpkglist.php?branch=testing');
   9  } else {
  10      header("HTTP/1.1 404 Not found");
  11      header("Status: 404 Erreur d'acces a '$url'"); 
  12      echo '<pre>';
  13      foreach($output as $key => $value) {
  14          echo "   $value\n";
  15      }
  16      //print_r($output);
  17      echo '</pre>';
  18  }
  19  ?>