# HG changeset patch
# User ulion
# Date 1197251162 0
# Node ID 9139c368a4933245f48966bfb6d1562ea8f2b8ab
# Parent  701de923a20d8ebba3b45f377ce97246290ac19e
Ignore heading spaces when parsing command.

diff -r 701de923a20d -r 9139c368a493 input/input.c
--- a/input/input.c	Mon Dec 10 01:43:33 2007 +0000
+++ b/input/input.c	Mon Dec 10 01:46:02 2007 +0000
@@ -719,6 +719,10 @@
   assert(str != NULL);
 #endif
 
+  // Ignore heading spaces.
+  while (str[0] == ' ' || str[0] == '\t')
+    ++str;
+
   if (strncmp(str, "pausing ", 8) == 0) {
     pausing = 1;
     str = &str[8];