changes

2020-08-19 14:53:20 +02:00
parent 8332aba3d5
commit 057f5d9136
3 changed files with 65 additions and 13 deletions
@@ -276,7 +276,7 @@ def shellGitCheckout(cmd,timeout =600,enc='utf-8'):
            logging.warning(cmd +'\t'+str(t))
    return output,errors

-def callSpinfer(cmd,timeout =600,enc='utf-8'):
+def callSpinfer(cmd,timeout =900,enc='utf-8'):
    output = ''
    errors = ''
    # logging.debug(cmd)