Mercurial > hg > rlgwebd

annotate options.html @ 174:dc12ba30d559

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix further crashes when following dgamelaunch games. The crashes apparently resulted from reading a ttyrec header and then trying to read the data chunk before dgamelaunch produced it. When the data chunk did become available, it would be read by the header function. The simplest solution was to store the position for reading the ttyrec file in the DGLSession, and to leave it unchanged if anything unexpected occurs when reading.
author John "Elwin" Edwards
date Mon, 12 Jan 2015 17:10:35 +0000
parents 99fbc7c55b81
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
128
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
2 <html>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
3 <head>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
4 <title>RLG-Web Options</title>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
5 <script type="text/javascript" src="options.js"></script>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
6 <link rel="stylesheet" type="text/css" href="style-rlg.css">
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
7 </head>
129
46822bd329da Make the options page functional.
John "Elwin" Edwards <elwin@sdf.org>
parents: 128
diff changeset
8 <body onload="setup()">
128
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
9 <h1>RLG-Web Options</h1>
130
a2e071a95055 Options page: handle not being logged in.
John "Elwin" Edwards <elwin@sdf.org>
parents: 129
diff changeset
10 <div id="ostat">Loading...</div>
128
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
11 <div id="switch">
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
12 <span class="ibutton">E-mail</span>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
13 <span class="ibutton">Password</span>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
14 </div>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
15 <div class="formtable" id="o_email">
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
16 <div><div>E-mail:</div><div><input type="text" name="email" id="input_email"></div></div>
133
99fbc7c55b81 Options-related UI improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 130
diff changeset
17 <div><div><span class="ibutton" onclick="postemail()">Save</span></div><div><span class="ibutton" style="display:none">Cancel</span></div></div>
128
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
18 </div>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
19 <div class="formtable" id="o_pw">
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
20 <div><div>Password:</div><div><input type="password" name="pw" id="input_pw"></div></div>
133
99fbc7c55b81 Options-related UI improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 130
diff changeset
21 <div><div><span class="ibutton" onclick="postpw()">Save</span></div><div><span class="ibutton" style="display:none">Cancel</span></div></div>
128
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
22 </div>
133
99fbc7c55b81 Options-related UI improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 130
diff changeset
23 <div id="optfoot"><a href="/">Home</a></div>
128
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
24 </body>
bea4e7e703a2 Initial layout of the options page.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
25 </html>