src/modules/client/history.py
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