diff options
author | 1998-11-10 15:23:27 +0000 | |
---|---|---|
committer | 1998-11-10 15:23:27 +0000 | |
commit | 994ff6df6de423a1eab8ef724b8a0fd9df3b07a3 (patch) | |
tree | e78324085f29a093f3068de450b7a539721fd9cf | |
parent | 52f43207a4e7e1ad919fc1184b1c590399f4adfb (diff) |
Fixed bug for when proof-rsh-command is empty
-rw-r--r-- | generic/proof-shell.el | 16 |
1 files 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, |