Ocsigen server: removing duplicate lines in ocsigen-server.ml (bug report by Hugo Heuzard)
Ocsigen server: removing duplicate lines in ocsigen-server.ml (bug report by Hugo Heuzard)

Ignore-this: 7f5f9fd58d9e4aa1729572912f7bfb9a

darcs-hash:20101123173337-1b86b-a7123b03c864055b477c36a5706dc6322c074203

mfp/ocsigenserver,mfp/ocsigenserver