cafe-grader-web

Commit r244:72b95c87a51a public

parent | child
Description:
Merge branch 'master' into codejom (announcement refresh bug fix)
Commit status:
[Not Reviewed]
References:
merge default
Diff options:
Raw Diff | Patch Diff | Download Diff | Ignore whitespace | Increase context
Comments:
0 Commit comments 0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
Side by Side Unified
Expand All Files Collapse All Files Wide Mode Diff
Add another comment
Browse Files

r244:72b95c87a51a - - 2 files changed: 5 inserted, 2 deleted

Show file before | Show file after | Raw diff | Download diff | Ignore whitespace Increase context Show commentsHide comments
@@ -27,12 +27,13
27 Choose problems from the list on the right.
27 Choose problems from the list on the right.
28 = render :partial => 'problem', :collection => @problems
28 = render :partial => 'problem', :collection => @problems
29
29
30 %br{:clear=>'both'}/
30 %br{:clear=>'both'}/
31 %hr/
31 %hr/
32
32
33 - %script{:type => "text/javascript"}
33 + %script{:type => 'text/javascript'}
34 + = "Announcement.refreshUrl = '#{url_for :controller => 'main', :action => 'announcements'}';"
34 Announcement.registerRefreshEventTimer();
35 Announcement.registerRefreshEventTimer();
35 = render :partial => 'submission_timeouts'
36 = render :partial => 'submission_timeouts'
36 CodejomTimeout.updateProblemMessages();
37 CodejomTimeout.updateProblemMessages();
37 CodejomTimeout.registerRefreshEvent();
38 CodejomTimeout.registerRefreshEvent();
38
39
Show file before | Show file after | Raw diff | Download diff | Ignore whitespace Increase context Show commentsHide comments
@@ -1,22 +1,24
1
1
2 var Announcement = {
2 var Announcement = {
3
3
4 mostRecentId: 0,
4 mostRecentId: 0,
5
5
6 + refreshUrl: '/main/announcements',
7 +
6 setMostRecentId: function(id) {
8 setMostRecentId: function(id) {
7 Announcement.mostRecentId = id;
9 Announcement.mostRecentId = id;
8 },
10 },
9
11
10 updateRecentId: function(id) {
12 updateRecentId: function(id) {
11 if(Announcement.mostRecentId < id)
13 if(Announcement.mostRecentId < id)
12 Announcement.mostRecentId = id;
14 Announcement.mostRecentId = id;
13 },
15 },
14
16
15 refreshAnnouncement: function() {
17 refreshAnnouncement: function() {
16 - var url = '/main/announcements';
18 + var url = Announcement.refreshUrl;
17 new Ajax.Request(url, {
19 new Ajax.Request(url, {
18 method: 'get',
20 method: 'get',
19 parameters: { recent: Announcement.mostRecentId },
21 parameters: { recent: Announcement.mostRecentId },
20 onSuccess: function(transport) {
22 onSuccess: function(transport) {
21 if(transport.responseText.match(/\S/)!=null) {
23 if(transport.responseText.match(/\S/)!=null) {
22 var announcementBody = $("announcementbox-body");
24 var announcementBody = $("announcementbox-body");
You need to be logged in to leave comments. Login now