summaryrefslogtreecommitdiff
path: root/js/codeq/robot.js
AgeCommit message (Expand)Author
2015-10-05Remove some stale commentsTimotej Lazar
2015-10-05Update robot.js to use websockets (WIP)Timotej Lazar
2015-10-05Oops, did not want to remove this yetTimotej Lazar
2015-10-05Fix editor activity reportingTimotej Lazar
2015-10-05Move makeActivityHandler to core.jsTimotej Lazar
2015-10-04Adapted to changes in codeq-server: load_problem and end_problem upon enterin...Aleš Smodiš
2015-10-01Submit activity when closing problem screenTimotej Lazar
2015-10-01Use 'value' option in CM constructor to set initial contentTimotej Lazar
2015-09-30Add the robot problem screenTimotej Lazar