Fix bug which occurs when creating a new page. We weren't catching
authorrich <rich>
Tue, 1 Aug 2006 14:50:47 +0000 (14:50 +0000)
committerrich <rich>
Tue, 1 Aug 2006 14:50:47 +0000 (14:50 +0000)
commit214377b17736c51082098ce0aba924aeeeb41438
tree5f0d0c860b2f576d46e2fb9bf9944f96b0209957
parent113f16040c4eb712172eaa21e066311133fb9e6f
Fix bug which occurs when creating a new page.  We weren't catching
the Failure "hd" exception thrown in some circumstances.
scripts/edit.ml
scripts/file.ml
scripts/image.ml
scripts/lib/cocanwiki_diff.ml
scripts/page.ml