fork(1) download
  1. <?
  2. $text=file_get_contents("php://stdin");
  3. $re="/\\\$([a-z0-9_]+)\\s*=\\s*(\\d+);/ie";
  4. preg_replace($re, "\$\\1=\\2;", $text);
  5. echo $taksovat_money."\n".$taksovat_baks;
  6. ?>
Success #stdin #stdout 0.01s 20520KB
stdin
case 14400: $taksovat_money = 4636; $taksovat_baks = 20; break;
stdout
4636
20