changeset 834 | f8b3396500b3 |
parent 732 | 9ea802fef2fb |
child 926 | 6ee411c9026a |
--- a/src/modules/client/history.py Fri Jan 23 14:02:08 2009 +0000 +++ b/src/modules/client/history.py Fri Jan 23 16:04:18 2009 -0600 @@ -552,7 +552,7 @@ except KeyboardInterrupt: raise except EnvironmentError, e: - if e.errno == errno.ENOENT: + if e.errno in (errno.ENOENT, errno.ESRCH): # History already purged; record as successful. self.operation_result = RESULT_SUCCEEDED return