Added missing dash in rest-server launch command
improve core handling of OPTIONS