diff options
author | Thomas White <taw27@cam.ac.uk> | 2008-10-02 18:28:02 +0100 |
---|---|---|
committer | Thomas White <taw27@cam.ac.uk> | 2008-10-02 18:28:02 +0100 |
commit | b5ae83c814640ab5659103f8cdb6d080d70fada6 (patch) | |
tree | a401bb247799343d8a8a467e96edb0cc2828a918 | |
parent | 8310cde840be611931c24a0fb3e1b9861eecb676 (diff) |
Refuse to continue if no cache filename provided (don't just exit)
-rw-r--r-- | src/main.c | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -131,8 +131,7 @@ static gint main_method_window_response(GtkWidget *method_window, gint response, if ( ctx->psmode == PEAKSEARCH_CACHED ) { ctx->cache_filename = gtk_file_chooser_get_filename(GTK_FILE_CHOOSER(ctx->cache_file_selector)); if ( !ctx->cache_filename ) { - fprintf(stderr, "Please specify a cache filename!\n"); - gtk_exit(1); + return 1; } } |