# HG changeset patch
# User devlinjs@FA7CZA6N1254998.wrightpatterson.afmc.ds.af.mil
# Date 1198093258 18000
# Node ID 07aae987b754bbaa1f8f7e5433230fdf85a644ac
# Parent  221095f3a4aff5ad8ad2a3fd0d80fed2ffcee2b8
load great except for prompt markers

diff -r 221095f3a4af -r 07aae987b754 cmd2.py
--- a/cmd2.py	Wed Dec 19 14:21:30 2007 -0500
+++ b/cmd2.py	Wed Dec 19 14:40:58 2007 -0500
@@ -172,6 +172,8 @@
 	self.stdin.close()
 	self.stdin = stdin
 	self.use_rawinput = use_rawinput
+	self.stdin.flush()
+	self.lastcmd = ''
 
 class HistoryItem(str):
     def __init__(self, instr):