use a safer variable name for the ob

ieure · Nov 25, 2009 · 72a8e49 · 72a8e49
1 parent b67197e
commit 72a8e49
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/PHP/Repl.php b/PHP/Repl.php
@@ -129,8 +129,9 @@ public function run()
         ob_start();
         while (true) {
             // inner loop is to escape from stacked output buffers
-            while ($c = ob_get_clean() ) {
-                echo $c;
+            while ($__ob__ = ob_get_clean() ) {
+                echo $__ob__;
+                unset($__ob__);
             }
 
             try {