# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 874132336 0
# Node ID 4c82de07281ce5eb4f1a660e07fe5ba8c0b6efee
# Parent  4355457d97493624369b4fce2946b7b6e3f186fa
(ph-server): Fix customize type.

diff -r 4355457d9749 -r 4c82de07281c lisp/ph.el
--- a/lisp/ph.el	Sat Sep 13 06:30:44 1997 +0000
+++ b/lisp/ph.el	Sat Sep 13 06:32:16 1997 +0000
@@ -81,7 +81,8 @@
   "*The name or IP address of the CCSO (PH/QI) server.
 A port number may be specified by appending a colon and a
 number to the name of the server."
-  :type  '(string :tag "Server")
+  :type  '(choice (string :tag "Server")
+		  (const nil))
   :group 'ph)
 
 (defcustom ph-strict-return-matches t