From 1de79b1080b1f1be9bac5ca4ecc299b9597bbc87 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Jul 2000 15:01:58 +0000
Subject: Note about trapping errors

---
 isa/isabelle-system.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 632bbee5..13d7d065 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -74,6 +74,10 @@ Returns non-nil if isa-isatool-command is valid."
 
 (defun isa-shell-command-to-string (command)
   "Like shell-command-to-string except the last character is stripped."
+  ;; FIXME: sometimes the command may fail. This will usually cause PG
+  ;; to break.  Bit of an effort to trap errors here, we would need
+  ;; to provide some advice to shell-command-to-string to retain result
+  ;; of call to call-process, and raise and error in case it failed.
   (substring (shell-command-to-string command) 0 -1))
 
 (defun isa-getenv (envvar &optional default)
-- 
cgit v1.2.3