Permalink
Browse files

change server type

  • Loading branch information...
1 parent 634c86e commit 7f20d03eb5d9ccc3a54fc06b2c2bec3cbb376dc0 @trecouvr committed Nov 21, 2011
Showing with 1 addition and 11 deletions.
  1. +1 −11 main.opa
View
@@ -29,14 +29,4 @@ main() =
<div>latitude : <span id=#lat></span><br/>longitude : <span id=#lng></span></div>
<div>{map}</div>
-server = Server.simple_dispatch(| {~path ...} -> Resource.full_page(
- "Gmap",
- main(),
- <style type="text/css">
- html, body \{
- margin: 0;
- padding: 0;
- height: 100%;
- }
- </style>,
- {success}, []))
+server = Server.one_page_server("Gmap", main)

0 comments on commit 7f20d03

Please sign in to comment.