append semicolon
authorTim Starling <tstarling@users.mediawiki.org>
Wed, 2 Jun 2004 13:15:50 +0000 (13:15 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Wed, 2 Jun 2004 13:15:50 +0000 (13:15 +0000)
maintenance/eval.php

index 76518f0..5ba2f04 100755 (executable)
@@ -7,7 +7,7 @@ require_once( "../includes/MemCachedClient.inc.php" );*/
 require_once( "liveCmdLine.inc" );
 
 do {
-       $line = readconsole( "> " );
+       $line = readconsole( "> " ). ";" ;
        eval( $line );
        if ( function_exists( "readline_add_history" ) ) {
                readline_add_history( $line );