log_data_in_file is helpful of its own when debugging
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 21 Jan 2010 15:14:53 +0000 (15:14 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 21 Jan 2010 15:14:53 +0000 (15:14 +0000)
logger.py

index 1089b1f..90ee755 100644 (file)
--- a/logger.py
+++ b/logger.py
@@ -58,14 +58,18 @@ def log_exc(name = None):
     else:
         log(traceback.format_exc())
 
-def log_slivers (data):
+def log_data_in_file (data, file, message=""):
     import pprint, time
     try:
-        f=open(LOG_SLIVERS,'w')
-        now=time.strftime("GetSlivers stored on %Y.%m.%d at %H:%M:%S", time.localtime())
+        f=open(file,'w')
+        now=time.strftime("Last update: %Y.%m.%d at %H:%M:%S", time.localtime())
         f.write(now+'\n')
+        if message: f.write('Message:'+message+'\n')
         pp=pprint.PrettyPrinter(stream=f,indent=2)
         pp.pprint(data)
         f.close()
     except:
-        log_verbose('Cannot save GetSlivers in %s'%LOG_SLIVERS)
+        log_verbose('log_data_in_file failed - file=%s - message=%r'%(file,message))
+
+def log_slivers (data):
+    log_data_in_file (data, LOG_SLIVERS, "raw GetSlivers")