branch: elpa/proof-general
commit 07755c54ac86df0c9e8bc915dfa12ef72b23e13a
Author: Paul Eggert <egg...@cs.ucla.edu>
Commit: Paul Eggert <egg...@cs.ucla.edu>
Port pg-pgip-id to future Emacs
* generic/pg-pgip.el (pg-pgip-id): Do not assume a particular form for
Emacs Lisp timestamps, as that is slated to change in a future Emacs
version. Instead, use time-convert when available (since Emacs 27)
to generate the desired form.
---
generic/pg-pgip.el | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index fbcb444..0954b50 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -281,7 +281,7 @@ Return a symbol representing the PGIP command processed, or
nil."
;; TODO: display and cache the value in a dedicated buffer
;; FIXME: should idvalue have a context?
(pg-response-message text)))
-
+
;;
;; Menu configuration [TODO]
;;
@@ -583,7 +583,10 @@ See `pg-pgip-assemble-packet' "
(defconst pg-pgip-id
;; Identifier based on hostname, user, time, and (FIXME: possible?) ppid
(concat (getenv "HOSTNAME") "/" (getenv "USER") "/"
- (let ((tm (current-time))) (format "%d.%d" (car tm) (cadr tm))))
+ (let ((tm (if (fboundp 'time-convert)
+ (time-convert nil 'list)
+ (current-time))))
+ (format "%d.%d" (car tm) (cadr tm))))
"PGIP Identifier for this Emacs Proof General component.")
(defvar pg-pgip-refseq nil
