Password change now working in all browsers.
tree7bd425332dd575a886f9e6944edf0712dad5850d
-rw-r--r-- 671 README
-rw-r--r-- 206 TODO.TXT
-rw-r--r-- 158068 adminer.php
-rw-r--r-- 3848 ajax.js
-rw-r--r-- 2756 assignment.php
-rw-r--r-- 11950 assignment_add.php
-rw-r--r-- 759 assignment_edit.php
-rw-r--r-- 4209 assignment_feed.php
-rw-r--r-- 1634 auth.php
-rw-r--r-- 1055 auth_root.php
-rw-r--r-- 3448 code_db.sql
-rw-r--r-- 1259 comment.php
-rw-r--r-- 3008 comment_feed.php
-rw-r--r-- 230 conn.php
-rw-r--r-- 4621 debug_popup.html
-rw-r--r-- 10997 debugger.js
-rw-r--r-- 5362 detail_old.php
-rw-r--r-- 13576 detail_root.php
-rw-r--r-- 3371 enrollment.php
-rw-r--r-- 2029 enrollment_new.php
-rw-r--r-- 584 file_raw.php
-rw-r--r-- 16 footer.php
-rw-r--r-- 1375 general.js
drwxr-xr-x - gfx
-rw-r--r-- 2017 header.php
drwxr-xr-x - include
-rw-r--r-- 1031 index.php
-rw-r--r-- 1296 line_comment.php
-rw-r--r-- 364 login.php
-rw-r--r-- 2321 manage.php
-rw-r--r-- 3668 password_change.php
-rw-r--r-- 1130 password_change_user.php
-rw-r--r-- 479 sched_edit.php
-rw-r--r-- 6064 sh_c.js
-rw-r--r-- 3620 sh_c.min.js
-rw-r--r-- 6472 sh_cpp.js
-rw-r--r-- 3964 sh_cpp.min.js
-rw-r--r-- 1798 sh_ide-devcpp.min.css
-rw-r--r-- 2234 sh_ide-eclipse.css
-rw-r--r-- 14895 sh_main.js
-rw-r--r-- 5305 sh_main.min.js
-rw-r--r-- 2187 sh_makefile.js
-rw-r--r-- 4455 style.css
-rw-r--r-- 1602 time.php
-rw-r--r-- 2927 upload.php
-rw-r--r-- 465 workflow.php
-rw-r--r-- 1667 workflow_comments.php
-rw-r--r-- 2416 workflow_ungraded.php