<?php // Creates a json object representing the current server ?>
{
<?php $server = $_SERVER; ?>
<?php
//  drop : [
  foreach(file(".../sys/this/drop/php/_server/list/utf-8") as $drop) {
    if($drop[strlen($drop) - 1] == "\n") {
      $drop = substr($drop, 0, strlen($drop) - 1); }
//    printf("'%s',\n", $drop);
    unset($server[$drop]); }
//         ]
?>
<?php
  foreach($server as $var => $val) {
    printf("%s : '%s',\n", $var, $val);
  } ?>
}