2 /*require_once( "../includes/DefaultSettings.php" );
3 require_once( "../LocalSettings.php" );
4 require_once( "../includes/MemCachedClient.inc.php" );*/
7 require_once( "liveCmdLine.inc" );
10 $line = readconsole( "> " ). ";" ;
12 if ( function_exists( "readline_add_history" ) ) {
13 readline_add_history( $line );
17 function readconsole( $prompt = "" ) {
18 if ( function_exists( "readline" ) ) {
19 return readline( $prompt );
22 $fp = fopen( "php://stdin", "r" );
23 $resp = trim( fgets( $fp, 1024 ) );