← Back to branch summary

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

« back to all changes in this revision

Viewing changes to ivle/webapp/admin/user-media/settings.js

Modified the database so that exercises are now stored in the database, rather
than in flat files.

This also necessitated adding new tables and storm classes for test suites
and test cases.

Note that this commit merely changes the database and adds a script to
upload exercises. The code for actually reading exercises has yet
to be changed.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/admin/user-media/settings.js
42
42
    user_data = user;
43
43
    /* Plain text elements (non-editable) */
44
44
    var login = document.getElementById("login");
45
 
    var admin = document.getElementById("admin");
 
45
    var role = document.getElementById("role");
46
46
    var changepassword = document.getElementById("changepassword");
47
47
    var notices = document.getElementById("notices");
48
48
    /* Textbox (input) elements */
60
60
 
61
61
    /* Clear things */
62
62
    dom_removechildren(login);
63
 
    dom_removechildren(admin);
 
63
    dom_removechildren(role);
64
64
    dom_removechildren(changepassword);
65
65
    dom_removechildren(notices);
66
66
 
79
79
        text = ")"
80
80
    login.appendChild(document.createTextNode(text));
81
81
 
82
 
    /* "admin" : <p>Privilege: <strong>administrator</strong></p>
 
82
    /* "role" : <p>Your privilege level is <b>rolenm</b>.</p>
 
83
     * Unless rolenm is "student"
83
84
     */
84
 
    if (user.admin)
 
85
    if (user.rolenm != "student")
85
86
    {
86
 
        text = "Privilege: ";
87
 
        admin.appendChild(document.createTextNode(text));
88
 
        strong = document.createElement("strong");
89
 
        strong.appendChild(document.createTextNode("IVLE administrator"));
90
 
        admin.appendChild(strong);
 
87
        text = "Your privilege level is ";
 
88
        role.appendChild(document.createTextNode(text));
 
89
        b = document.createElement("b");
 
90
        text = user.rolenm;
 
91
        b.appendChild(document.createTextNode(text));
 
92
        role.appendChild(b);
 
93
        text = ".";
 
94
        role.appendChild(document.createTextNode(text));
91
95
    }
92
96
 
93
97
    /* "nick" and "email" boxes */