annotate options.html @ 165:59e62710cbb5

rlgwebd.js: prevent races when reading ttyrecs. DglSession objects read a 12-byte TTYREC header, extract therefrom the length of the data chunk, and then read the data. In between these two reads, the file watcher could trigger another readchunk() invocation, which might attempt to read a header from the beginning of the data chunk. This usually results in expecting a data chunk of several GB and failing to create a Buffer for it. The race is remedied by setting a flag on the DglSession object whenever readchunk() is called, clearing it when both reads complete, and refusing to read if it is already set.
author John "Elwin" Edwards
date Wed, 07 Jan 2015 13:18:35 -0500
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>