Fix some option handling for servers
authorpdbogen <pdbogen@088b83a4-0077-4247-935c-42ec02c2848b>
Wed, 12 Sep 2007 21:55:07 +0000 (21:55 +0000)
committerpdbogen <pdbogen@088b83a4-0077-4247-935c-42ec02c2848b>
Wed, 12 Sep 2007 21:55:07 +0000 (21:55 +0000)
commit3d32d0e15f0d42fccd9f00402f8720a975869277
treef4fe6759408ca708718a0d8570badc5e2e1516b5
parent30e1b1a01fd9a2ca49c116273c1481d01a30532b
Fix some option  handling for servers

git-svn-id: https://www.cernu.us/~pdbogen/svn/destult2@27 088b83a4-0077-4247-935c-42ec02c2848b
core.pl