From 99b753b05af4f18b6a7cb75aacd9fee0293f0f04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 May 2000 12:20:17 +0000
Subject: Added process-live-p

---
 generic/proof-compat.el | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index 041f1abc..9b864185 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -30,6 +30,15 @@
   "Non-nil if Proof General is running on a win32 system."))
 
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;
+;;; Misc backward compatibility
+;;;
+
+(or (fboundp 'process-live-p)
+(defun process-live-p (obj)
+  "Return t if OBJECT is a process that is alive"
+  (memq (process-status proc) '(open run stop))))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3