|
b269a738f5
|
renamed execute_websocket_command to open_websocket_connection, because we now run the command after all listeners in the submissions controller were attached
|
2016-03-01 11:30:03 +01:00 |
|
|
de84638979
|
Try to re-combine websocket message chunks containing an image tag.
|
2016-01-27 16:42:25 +01:00 |
|
|
95c461a055
|
Hide parametrized run and test commands. Some logging changes, comment on possible thread code to release database connections, not sure whether necessary.
|
2015-11-08 12:37:11 +01:00 |
|
|
b29a41e693
|
some more logging
|
2015-11-03 17:34:34 +01:00 |
|
|
ef60494911
|
some more logging (and cleanup)
|
2015-10-29 16:27:12 +01:00 |
|
|
30d0270744
|
Show correct timeout message on timeout. Do not show a message on valid exit.
|
2015-10-21 17:18:28 +02:00 |
|
|
e88520f43b
|
corrected log message.
|
2015-10-19 15:50:58 +02:00 |
|
|
0b9cda4f84
|
Fix container pooling #2
|
2015-10-19 15:13:42 +02:00 |
|
|
56f2cc221a
|
filter and hide run_command and test_command in websocket message
|
2015-09-25 12:53:45 +02:00 |
|
|
13be0f65dd
|
Improve error and output handling
Display websocket and container status messages as well as line feeds
to the user.
|
2015-09-16 19:14:36 +02:00 |
|
|
81aa5d5d8f
|
Fixed submission-scoring.
Added parsing of exit cmd.
|
2015-09-16 18:34:04 +02:00 |
|
|
e6eeebfd4b
|
Filter and colour output, handle exit properly
|
2015-09-15 19:34:22 +02:00 |
|
|
c8253a6ba0
|
Manually merge changes from webpython branch.
|
2015-09-15 16:55:16 +02:00 |
|
|
e14ee6def3
|
Merge branch 'master' into rt/comments
Conflicts:
app/assets/javascripts/editor.js
|
2015-08-31 19:23:53 +02:00 |
|
|
44cb0150cc
|
removed the last(100) filter on the index method of submission, since it did not work this way. ToDo: check whether this breaks anything, discuss with JanR.
|
2015-08-26 11:52:52 +02:00 |
|
|
6229b5de8d
|
re-activate copying of comments, and also show comments of original file author in show method
|
2015-06-24 20:21:02 +02:00 |
|
|
69f7a93609
|
added submission id to error entries
|
2015-06-08 14:50:13 +02:00 |
|
|
13f13f5ecb
|
Only show max the last 100 in UI cause fetching all breaks the app.
|
2015-04-28 18:44:00 +02:00 |
|
|
c1fdc30c7e
|
Disable copy comments for now
|
2015-04-28 17:05:04 +02:00 |
|
|
0447b076c6
|
set user_type correct for comments
|
2015-04-27 17:59:28 +02:00 |
|
|
90051fff1c
|
minor bugfix
|
2015-04-23 14:56:55 +02:00 |
|
|
9063b18012
|
Fix hints to work again.
|
2015-04-23 13:15:31 +02:00 |
|
|
64114815c7
|
Clean up writing server sent events.
|
2015-04-23 13:13:17 +02:00 |
|
|
a5d5dde7a8
|
Debugging
|
2015-04-23 12:58:21 +02:00 |
|
|
2cd474ceb0
|
Avoid error if no submission is present (on first load of editor)
|
2015-04-21 10:52:22 +02:00 |
|
|
a70053532b
|
Merge commenting support
|
2015-03-27 11:57:35 +01:00 |
|
|
e31675f136
|
Commit just for you, Ralf :)
|
2015-03-27 10:32:10 +01:00 |
|
|
ba3476cfec
|
some refactoring
|
2015-03-19 14:33:51 +01:00 |
|
|
a06e20b6c5
|
use eager loading to reduce the number of database queries
|
2015-03-11 14:24:24 +01:00 |
|
|
f824301718
|
log errors occurring in the scope of server-sent events
|
2015-03-07 15:35:07 +01:00 |
|
|
a13d1738e2
|
fixed multiple style guide violations
|
2015-02-17 10:23:01 +01:00 |
|
|
a22a5af711
|
extracted common controller behavior in order to reduce code duplication
|
2015-02-05 12:28:09 +01:00 |
|
|
4cbf9970b1
|
transferred Code Ocean from original repository to GitHub
|
2015-01-22 10:01:32 +01:00 |
|