fix time handling

diff --git a/db_add.py b/db_add.py
index a9f42c9872a4bd0c875cbc8ed207b9c4a7dd3399..cfa752156111d539b8f589c87a411fff786c0c6a 100755 (executable)
--- a/db_add.py
+++ b/db_add.py
@@ -29,7 +29,7 @@ def db_add_job(con, name):
         #logger.debug("INSERT INTO jenkins_job(name) VALUES('%s')" % (name))
     return cur.fetchone()[0]
 
-def harmonize_timeformat(time)
+def harmonize_timeformat(time):
     if time != 'NULL':
         if time.isdigit():
             time = "to_timestamp('%s')" % time