Completed
Push — master ( 828609...76eb07 )
by Scott
03:31
created
src/Repl.php 1 patch
Doc Comments   +6 added lines patch added patch discarded remove patch
@@ -49,11 +49,17 @@
 block discarded – undo
49 49
         return fgets(STDIN);
50 50
     }
51 51
 
52
+    /**
53
+     * @param string $input
54
+     */
52 55
     private function isExitCommand($input)
53 56
     {
54 57
         return $input == "exit\n";
55 58
     }
56 59
 
60
+    /**
61
+     * @param string $input
62
+     */
57 63
     private function shouldBeProcessed($input)
58 64
     {
59 65
         return !empty($input) && !preg_match('/^;/', $input);
Please login to merge, or discard this patch.