From 994ff6df6de423a1eab8ef724b8a0fd9df3b07a3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 10 Nov 1998 15:23:27 +0000 Subject: Fixed bug for when proof-rsh-command is empty --- generic/proof-shell.el | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 0c3f7916..b4a5182f 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -192,11 +192,17 @@ Does nothing if proof assistant is already running." (message (format "Starting %s process..." proc)) ;; Starting the inferior process (asynchronous) - (let ((prog-name-list (proof-string-to-list - (concat - proof-rsh-command - " " - proof-prog-name) " "))) + (let ((prog-name-list + (proof-string-to-list + ;; Cut in proof-rsh-command if it's non-nil and + ;; non whitespace. FIXME: whitespace at start + ;; of this string is nasty. + (if (and proof-rsh-command + (not (string-match "^[ \t]*$" proof-rsh-command))) + (concat proof-rsh-command " " proof-prog-name) + proof-prog-name) + ;; Split on spaces: FIXME: maybe should be whitespace. + " "))) (apply 'make-comint (append (list proc (car prog-name-list) nil) (cdr prog-name-list)))) ;; To send any initialisation commands to the inferior process, -- cgit v1.2.3