diff options
| author | Thomas White <taw@physics.org> | 2019-09-02 14:57:16 +0200 |
|---|---|---|
| committer | Thomas White <taw@physics.org> | 2019-09-12 16:35:52 +0200 |
| commit | b0ceb28b75b7b0642cc40fa5dc4a48dcf8ec92ec (patch) | |
| tree | 9e997fd426d675148c5cf206bacc9a689d34843c /src/im-sandbox.h | |
| parent | 6e713e3a78167d421acd7b511d07675ca0032d5a (diff) | |
Increase indexing timeout when using pinkIndexer
Diffstat (limited to 'src/im-sandbox.h')
| -rw-r--r-- | src/im-sandbox.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/im-sandbox.h b/src/im-sandbox.h index 9da11526..b1f5502a 100644 --- a/src/im-sandbox.h +++ b/src/im-sandbox.h @@ -84,6 +84,6 @@ extern void set_last_task(char *lt, const char *task); extern int create_sandbox(struct index_args *iargs, int n_proc, char *prefix, int config_basename, FILE *fh, Stream *stream, const char *tempdir, int serial_start, - const char *zmq_address); + const char *zmq_address, int timeout); #endif /* IM_SANDBOX_H */ |