00001 <?php 00002 require_once( "commandLine.inc" ); 00003 00004 do { 00005 $line = readconsole( "> " ); 00006 eval( $line . ";" ); 00007 if ( function_exists( "readline_add_history" ) ) { 00008 readline_add_history( $line ); 00009 } 00010 } while ( 1 ); 00011 00012 00013 00014 00015 ?> 00016