Configurable worker activity timeout

arkindex/project/config.py

@@ -87,6 +87,7 @@ def get_settings_parser(base_dir):
     parser.add_option('workers_max_chunks', type=int, default=10)
     parser.add_option('robots_txt_disallow', type=str, many=True, default=[])
     parser.add_option('public_hostname', type=public_hostname)
+    parser.add_option('worker_activity_timeout', type=int, default=3600)
 
     # SECURITY WARNING: keep the secret key used in production secret!
     parser.add_option('secret_key', type=str, default='jf0w^y&ml(caax8f&a1mub)(js9(l5mhbbhosz3gi+m01ex+lo')

arkindex/project/settings.py

@@ -50,7 +50,7 @@ ALLOWED_HOSTS = conf['allowed_hosts']
 ALLOWED_HOSTS += ['127.0.0.1', 'localhost', 'backend', 'ark-backend']
 
 # How long, in seconds, before a WorkerActivity in a `started` state can be retried
-WORKER_ACTIVITY_TIMEOUT = 3600
+WORKER_ACTIVITY_TIMEOUT = conf['worker_activity_timeout']
 
 PUBLIC_HOSTNAME = conf['public_hostname']
 

arkindex/project/tests/config_samples/defaults.yaml

@@ -105,4 +105,5 @@ transkribus:
   email: null
   password: null
   worker_version: null
+worker_activity_timeout: 3600
 workers_max_chunks: 10

arkindex/project/tests/config_samples/override.yaml

@@ -122,4 +122,5 @@ transkribus:
   email: nope@nope
   password: superSecret
   worker_version: aaaaaaaa-aaaa-aaaa-aaaa-aaaaaaaaaaaa
+worker_activity_timeout: 3600
 workers_max_chunks: 42