From ae2f16b29559d46abc398e1f6a0b290e75af862d Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Mon, 15 Feb 2016 15:17:18 +0100
Subject: Prolog terminal: do not submit an empty query

---
 js/codeq/prolog.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index e35984a..1d2f92e 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -207,6 +207,10 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
 
         terminal.onInput = function (command) {
             if (promptMode) {
+                if (!command) {
+                    terminal.append('?- ', 'output');
+                    return;
+                }
                 promptMode = false;
                 manualStop = false;
                 terminal.setNotBuffered();
-- 
cgit v1.2.1