diff options
author | Thomas White <taw@physics.org> | 2021-02-22 15:56:40 +0100 |
---|---|---|
committer | Thomas White <taw@physics.org> | 2021-02-22 15:56:40 +0100 |
commit | f7cef79ae1c8db2770f067735698850ef88da04e (patch) | |
tree | d4891f091ffb1051a917559f9d365d6e97023f0e /src/gui_index.h | |
parent | 32ee8110102b2c939c3fcc966a41587d1bb9d316 (diff) |
Read job progress from written log files, even for local BE
This simplifies the backends somewhat, and makes them look more similar
- e.g. there is now only one routine to find out how far along a merging
job is. It has the added bonus of adding a log file for local jobs,
which we would've had to add soon anyway.
Diffstat (limited to 'src/gui_index.h')
-rw-r--r-- | src/gui_index.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui_index.h b/src/gui_index.h index 3cd59c9a..7b2c6e19 100644 --- a/src/gui_index.h +++ b/src/gui_index.h @@ -48,4 +48,6 @@ extern char **indexamajig_command_line(const char *geom_filename, struct peak_params *peak_search_params, struct index_params *indexing_params); +extern int read_number_processed(const char *filename); + #endif |