← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to console/index.html

  • Committer: dcoles
  • Date: 2008-07-18 02:40:58 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:912
Makeuser: Makeuser will now chown all files in a users home directory to the
unixid provided by the database. This means remakeallusers.py can be used to
update everyones unixids after a database change. The makeuser script will also 
no longer generate a random unixid when one is not given on the command line.

Database: Change to database so that a sequence is used by default. The allowed  
range is 1000-29999 (let's start at 5000, because 1000+ is used by adduser.  
Reference: http://www.debian.org/doc/debian-policy/ch-opersys.html)
See SF Bug '[ 2012190 ] Student UID generation'
Migration script will reallocate all users a new unixid from the sequence.

Usermgt-Server: Now no longer generates a random unixid. Rely on the database 
to come up with a new sequence number.

Show diffs side-by-side

added added

removed removed

Lines of Context:
console/index.html
1
 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
2
 
                      "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3
 
<html>
4
 
 <head>
5
 
  <title>IVLE Python Console</title>
6
 
  <script type='text/javascript' src='md5.js'></script>
7
 
  <script type='text/javascript' src='json2.js'></script>
8
 
  <script type='text/javascript' src='console.js'></script>
9
 
  <style type='text/css'>
10
 
    #output {
11
 
        border: solid blue 1pt;
12
 
        height: 24em;
13
 
        overflow: scroll;
14
 
        margin-bottom: 4pt;
15
 
        padding: 4pt;
16
 
    }
17
 
    #input {
18
 
        border: solid green 1pt;
19
 
    }
20
 
    #prompt {
21
 
        font-family: monospace;
22
 
    }
23
 
    pre.errorMsg {
24
 
        color: red;
25
 
        margin-top: 0em;
26
 
        margin-bottom: 0em;
27
 
    }
28
 
    pre.inputMsg {
29
 
        color: gray;
30
 
        margin-top: 0em;
31
 
        margin-bottom: 0em;
32
 
    }
33
 
    pre.outputMsg {
34
 
        margin-top: 0em;
35
 
        margin-bottom: 0em;
36
 
    }
37
 
  </style>
38
 
 </head>
39
 
 <body>
40
 
  <div id='output'>
41
 
  </div>
42
 
  <div id='input'>
43
 
   <div id='inputArea'>
44
 
   </div>
45
 
   <label id='prompt'>&gt;&gt;&gt;&nbsp;</label><input id='inputText' type='text' size='80' onkeypress='catch_input(event.keyCode)'/>
46
 
  </div>
47
 
 </body>
48
 
</html>