diff --git a/exec/query_pr.js b/exec/query_pr.js index 6c7b3784114297df180f2c232f1ddd15da70dfbb..5fc30b2a2050f183d774f5575a46d2bda5c5c8fb 100644 --- a/exec/query_pr.js +++ b/exec/query_pr.js @@ -353,5 +353,5 @@ function handle_error() { writeln(gnats.error); console.pause(); - clean_exit(); + clean_exit(1); }