Changeset 7701:957524edbf46

Timestamp:

09/12/07 02:56:35 (6 years ago)

Author:

Robert Bradshaw <robertwb@…>

Branch:

default

Message:

cleanup cube call (wasn't getting killed before)

File:

• sage/interfaces/rubik.py (modified) (1 diff)

sage/interfaces/rubik.py

@@ -216 +216 @@
                     extra_time = 0
             # format the string into our notation
+            child.close(True)
             return ' '.join([self.rot_map[m[0]]+str(4-int(m[1])) for m in reversed(sol.split(' '))]).replace('1', '').replace('3',"'")                   
         elif ix == 1:
             # invalid format
+            child.close(True)
             raise ValueError, child.before
         else:
+            child.close(True)
             raise RuntimeError, "timeout"