diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
| commit | e3e203869d5e25fab4809d53c3938f067b3a94db (patch) | |
| tree | afd60fddf5d0a549876fd4fe0247986c294d213f /generic/pg-pgip.el | |
| parent | 72f240e63eb57755e618613cad4bb7edbe951a26 (diff) | |
Reduce compiler warnings. Minor fixes.
Diffstat (limited to 'generic/pg-pgip.el')
| -rw-r--r-- | generic/pg-pgip.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el index f2a8286e..9c8865da 100644 --- a/generic/pg-pgip.el +++ b/generic/pg-pgip.el @@ -30,6 +30,7 @@ (require 'cl) ; incf (require 'pg-xml) (require 'pg-pgip-old) ;; Handle some PGIP 1.X format messages +(require 'proof-config) ;; config variables ;;; Code: (defalias 'pg-pgip-debug 'proof-debug) @@ -80,7 +81,7 @@ Return a symbol representing the PGIP command processed, or nil." (if (fboundp fname) (progn (pg-pgip-debug "Processing PGIP message seq %s, type %s" - (pg-xml-get-attr 'seq pgip 'notreallyoptional) name) + (pg-xml-get-attr 'seq pgipmsg 'notreallyoptional) name) (funcall fname pgipmsg) name) (pg-internal-warning "!!! unrecognized/unimplemented PGIP message element `%s'" name) @@ -113,8 +114,9 @@ Return a symbol representing the PGIP command processed, or nil." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (defun pg-pgip-process-askpgip (node) - (pg-pgip-debug "Received <askpgip> message with version `%s'" version) - ;; FIXME: send a uses PGIP message back? + (pg-pgip-debug "Received <askpgip> message with version `%s'" + (pg-xml-get-attr 'version node 'notreallyoptional)) + ;; TODO: send a uses PGIP message back? ) (defun pg-pgip-process-usespgip (node) |