# HG changeset patch # User devlinjs@FA7CZA6N1254998.wrightpatterson.afmc.ds.af.mil # Date 1198273041 18000 # Node ID 38aa4f49f095aa9624e716c1d304f9b4618c1003 # Parent 6315f75c45ae9b2f37433496ddef637c850ec9e3 untested redo of edit diff -r 6315f75c45ae -r 38aa4f49f095 cmd2.py --- a/cmd2.py Fri Dec 21 16:35:50 2007 -0500 +++ b/cmd2.py Fri Dec 21 16:37:21 2007 -0500 @@ -255,6 +255,7 @@ print "please use 'set editor' to specify your text editing program of choice." return filename = self.defaultFileName + buffer = '' try: arg = int(arg) buffer = self.last_matching(arg) @@ -263,10 +264,12 @@ filename = arg else: buffer = self.last_matching(arg) - f = open(filename, 'w') - f.write(buffer or '') - f.close() + if buffer: + f = open(filename, 'w') + f.write(buffer or '') + f.close() + os.system('%s %s' % (self.editor, filename)) self.do_load(self.filename) do_edit = do_ed