From: Tim Starling <tstarling@users.mediawiki.org>
Date: Wed, 2 Jun 2004 13:15:50 +0000 (+0000)
Subject: append semicolon
X-Git-Tag: 1.5.0alpha1~3072
X-Git-Url: http://git.cyclocoop.org/geomaker.php?a=commitdiff_plain;h=3e5066d09cf5c1433ec87cc3fe515f5a300ba3fa;p=lhc%2Fweb%2Fwiklou.git

append semicolon
---

diff --git a/maintenance/eval.php b/maintenance/eval.php
index 76518f0cf0..5ba2f04b6b 100755
--- a/maintenance/eval.php
+++ b/maintenance/eval.php
@@ -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 );