Commit Graph

74 Commits

Author SHA1 Message Date
Janusch Jacoby
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
Alexander Kastius
81aa5d5d8f Fixed submission-scoring.
Added parsing of exit cmd.
2015-09-16 18:34:04 +02:00
Janusch Jacoby
e6eeebfd4b Filter and colour output, handle exit properly 2015-09-15 19:34:22 +02:00
Janusch Jacoby
c8253a6ba0 Manually merge changes from webpython branch. 2015-09-15 16:55:16 +02:00
Ralf Teusner
e14ee6def3 Merge branch 'master' into rt/comments
Conflicts:
	app/assets/javascripts/editor.js
2015-08-31 19:23:53 +02:00
Ralf Teusner
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
Ralf Teusner
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
Ralf Teusner
69f7a93609 added submission id to error entries 2015-06-08 14:50:13 +02:00
Jan Renz
13f13f5ecb Only show max the last 100 in UI cause fetching all breaks the app. 2015-04-28 18:44:00 +02:00
Jan Renz
c1fdc30c7e Disable copy comments for now 2015-04-28 17:05:04 +02:00
Ralf Teusner
0447b076c6 set user_type correct for comments 2015-04-27 17:59:28 +02:00
Ralf Teusner
90051fff1c minor bugfix 2015-04-23 14:56:55 +02:00
Franz Liedke
9063b18012 Fix hints to work again. 2015-04-23 13:15:31 +02:00
Franz Liedke
64114815c7 Clean up writing server sent events. 2015-04-23 13:13:17 +02:00
Jan Renz
a5d5dde7a8 Debugging 2015-04-23 12:58:21 +02:00
Jan Renz
2cd474ceb0 Avoid error if no submission is present (on first load of editor) 2015-04-21 10:52:22 +02:00
Felix Wolff
a70053532b Merge commenting support 2015-03-27 11:57:35 +01:00
Felix Wolff
e31675f136 Commit just for you, Ralf :) 2015-03-27 10:32:10 +01:00
Hauke Klement
ba3476cfec some refactoring 2015-03-19 14:33:51 +01:00
Hauke Klement
a06e20b6c5 use eager loading to reduce the number of database queries 2015-03-11 14:24:24 +01:00
Hauke Klement
f824301718 log errors occurring in the scope of server-sent events 2015-03-07 15:35:07 +01:00
Hauke Klement
a13d1738e2 fixed multiple style guide violations 2015-02-17 10:23:01 +01:00
Hauke Klement
a22a5af711 extracted common controller behavior in order to reduce code duplication 2015-02-05 12:28:09 +01:00
Hauke Klement
4cbf9970b1 transferred Code Ocean from original repository to GitHub 2015-01-22 10:01:32 +01:00