Merge pull request #4 from sot/prompt_time_regex

Fix regular expression in prompt for single-digit hours.
sot · Aug 2, 2013 · 36aaaf4 · 36aaaf4
2 parents aafadde + c4e73b1
commit 36aaaf4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Ska/Shell.py b/Ska/Shell.py
@@ -101,7 +101,7 @@ def _setup_tcsh_shell(logfile):
     import pexpect
     prompt = r'Tcsh-%P> '
     prompt2 = r'Tcsh-%P- '
-    re_prompt = re.compile(r'Tcsh-\d\d:\d\d:\d\d([->]) ')
+    re_prompt = re.compile(r'Tcsh-(\d)?\d:\d\d:\d\d([->]) ')
 
     # Tcsh puts an extra \r after the original command, which turns in an extra
     # line that needs to be skipped.