If there is no row in the server_settings table, use a default value
authorrich <rich>
Mon, 27 Sep 2004 09:46:00 +0000 (09:46 +0000)
committerrich <rich>
Mon, 27 Sep 2004 09:46:00 +0000 (09:46 +0000)
commit773e59e13971ed5dae5e0014761d2376e8628849
tree48967515e1d8640bc608b73f9f7ad65e3b6fff40
parent9ef45f7514ad67944e67e943451f80ac4e416d77
If there is no row in the server_settings table, use a default value
instead of crashing horribly.
scripts/cocanwiki_server_settings.ml