Fix a bug with recording of port
authorPaul Sadauskas <psadauskas@gmail.com>
Sat, 20 Jun 2009 21:38:28 +0000 (15:38 -0600)
committerFlorian Forster <sifnfors@informatik.stud.uni-erlangen.de>
Mon, 6 Jul 2009 14:39:47 +0000 (16:39 +0200)
Port was getting written to plugin_instance as "1978.00000", because
apparently that's the value returned by the config.


No differences found