src/modules/client/history.py
changeset 2069 207f168361ba
parent 2028 b2c674e6ee28
child 2089 c8b9d6341530
--- a/src/modules/client/history.py	Wed Sep 08 16:56:50 2010 -0700
+++ b/src/modules/client/history.py	Thu Sep 09 18:08:00 2010 -0700
@@ -331,7 +331,8 @@
                         # Some operations shouldn't be saved -- they're merely
                         # included in the stack for completeness or to support
                         # client functionality.
-                        if op.name not in DISCARDED_OPERATIONS:
+                        if op.name not in DISCARDED_OPERATIONS and \
+                            value != RESULT_NOTHING_TO_DO:
                                 # Write current history and last operation to a
                                 # file.
                                 self.__save()