diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/gui_backend_local.c | 17 | ||||
| -rw-r--r-- | src/gui_backend_slurm.c | 2 |
2 files changed, 4 insertions, 15 deletions
diff --git a/src/gui_backend_local.c b/src/gui_backend_local.c index 451ca253..dfa208b6 100644 --- a/src/gui_backend_local.c +++ b/src/gui_backend_local.c @@ -31,6 +31,8 @@ #include <sys/wait.h> #include <gtk/gtk.h> +#include <utils.h> + #include "gui_project.h" @@ -272,21 +274,6 @@ static void cancel_indexing(void *job_priv) } -static int convert_int(const char *str, int *pval) -{ - int val; - char *rval; - - val = strtod(str, &rval); - if ( *rval != '\0' ) { - return 1; - } else { - *pval = val; - return 0; - } -} - - static void n_processes_activate_sig(GtkEntry *entry, gpointer data) { struct local_indexing_opts *opts = data; diff --git a/src/gui_backend_slurm.c b/src/gui_backend_slurm.c index cb0cee59..91c687a3 100644 --- a/src/gui_backend_slurm.c +++ b/src/gui_backend_slurm.c @@ -31,6 +31,8 @@ #include <sys/wait.h> #include <gtk/gtk.h> +#include <utils.h> + #include "gui_project.h" |