Make gap interface slightly more robust -- automate first load of gap…

…_reset_workspace.
tornaria · Jan 12, 2007 · 6be205b · 6be205b
1 parent d496fa7
commit 6be205b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/sage/interfaces/gap.py b/src/sage/interfaces/gap.py
@@ -165,7 +165,9 @@
 gap_cmd = "gap"
 
 def gap_command(use_workspace_cache=True):
-    if use_workspace_cache and os.path.exists(WORKSPACE):
+    if use_workspace_cache:
+        if not os.path.exists(WORKSPACE):
+            gap_reset_workspace()
         return "%s -L %s"%(gap_cmd, WORKSPACE), False
     else:
         return gap_cmd, True