[nongnu] elpa/proof-general 07755c5: Port pg-pgip-id to future Emacs

[Paul Eggert]

branch: elpa/proof-general
commit 07755c54ac86df0c9e8bc915dfa12ef72b23e13a
Author: Paul Eggert <eggert@cs.ucla.edu>
Commit: Paul Eggert <eggert@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