From 8565ed682c05bfea7eb67b57781907651eedf701 Mon Sep 17 00:00:00 2001
From: deuce <>
Date: Wed, 3 Aug 2005 23:23:00 +0000
Subject: [PATCH] Exit with an error code after a GNATS error.

PR:10
---
 exec/query_pr.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/exec/query_pr.js b/exec/query_pr.js
index 6c7b378411..5fc30b2a20 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);
 }
-- 
GitLab