make port number immutable, too. Otherwise one could make it write to
authormfranz <mfranz>
Fri, 17 Mar 2006 12:28:28 +0000 (12:28 +0000)
committermfranz <mfranz>
Fri, 17 Mar 2006 12:28:28 +0000 (12:28 +0000)
commit6e8b840b88795b658f477f222e29cf351a1c7f74
tree3f3fd7d16d14b535832f3e083bc66f7ab8445d82
parent06ba6ad3155b82ba4dc987a8b560f92a3b3e08e2
make port number immutable, too. Otherwise one could make it write to
localhost:25 etc.
preferences.xml