diff options
| author | Thomas White <taw@physics.org> | 2019-09-23 14:56:27 +0200 |
|---|---|---|
| committer | Thomas White <taw@physics.org> | 2019-09-23 14:56:27 +0200 |
| commit | 7251c3d83cc0bce49597ec41f97f930d5f70fb78 (patch) | |
| tree | 4f0801ede67a2143cc05c86c314ecab40502e46a /src/im-sandbox.h | |
| parent | 7fcddbf213e2674871ef078a3b228a32fd9f488f (diff) | |
| parent | aad71902c94b3bc21ab34b0e2c92972400921574 (diff) | |
Merge branch 'tom/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 2c43a543..3acd62db 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, int profile); + const char *zmq_address, int timeout, int profile); #endif /* IM_SANDBOX_H */ |