whitespace
authorTony Mack <tmack@paris.CS.Princeton.EDU>
Tue, 11 Dec 2012 00:28:03 +0000 (19:28 -0500)
committerTony Mack <tmack@paris.CS.Princeton.EDU>
Tue, 11 Dec 2012 00:28:03 +0000 (19:28 -0500)
PLC/Logger.py

index 5ba93ef..65dfbdc 100644 (file)
@@ -149,7 +149,7 @@ plcsh_logger = _Logger(logfile='/var/log/plcsh',loggername='plcsh', level=loggin
 ########################################
 import time
 
-def profile(logger):
+def profile(logger=None):
     """
     Prints the runtime of the specified callable. Use as a decorator, e.g.,
     
@@ -157,6 +157,8 @@ def profile(logger):
     def foo(...):
         ...
     """
+    if not logger:
+        logger=info_logger
     def logger_profile(callable):
         def wrapper(*args, **kwds):
             start = time.time()
@@ -170,7 +172,6 @@ def profile(logger):
         return wrapper
     return logger_profile
 
-
 if __name__ == '__main__': 
     print 'testing logging into logger.log'
     logger1=_Logger('logger.log', loggername='std(info)')