-
Notifications
You must be signed in to change notification settings - Fork 0
/
play.html
50 lines (46 loc) · 1.71 KB
/
play.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<!--
Copyright 2011 Matthew Wyatt
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
-->
<html>
<html> <head>
<title>MSG</title>
<link rel="stylesheet" href="static/style.css" type="text/css">
<script src="/static/req.js"></script>
<script src="/static/maps.json"></script>
<script src="/static/raphael-min.js"></script>
<script src="/static/msgui.js"></script>
<!-- now the script stuff: TODO -->
<!-- Do we want to have the I/O and the GUI in separate scripts? How -->
<!-- do we do it so it's a) understandable and b) efficient? -->
<!-- Questions: if we have a pending XmlHttpRequest to get our JSON -->
<!-- game state data, does window.onload fire? Should we have the -->
<!-- draw method be the callback for the XmlHttpRequest? If so, what -->
<!-- if window.onload hasn't fired...? How do we represent map data -->
<!-- to avoid duplicating it between server and client? -->
<script type="text/javascript">
window.onload = msgvis(msg_maps.{{map}},null);
</script>
</head>
<body>
<div id="header">
{% if name %}
Hello, {{name}}!
{% else %}
Hello, I love you, won't you tell me your name?
{% endif %}
<a href="{{ url }}">logout</a>
</div>
<h2>Turn {{ turn }}</h2>
<div id="holder"></div>
</body>
</html>