Changeset 7417:7db04fcb81ab

Timestamp:

11/24/07 23:37:45 (5 years ago)

Author:

William Stein <wstein@…>

Branch:

default

Tags:

2.8.14

Message:

Get rid of gap verbosity, which is just annoying.

File:

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

sage/interfaces/gap.py

@@ -601 +601 @@
 # that gap has been somehow upgraded).
 if not os.path.exists(WORKSPACE) or os.path.getmtime(WORKSPACE) < os.path.getmtime(GAP_STAMP):
-    print "Automatically updating the cached Gap workspace:"
-    print WORKSPACE
+    #print "Automatically updating the cached Gap workspace:"
+    #print WORKSPACE
     gap_reset_workspace(verbose=False)