Commit 647e6d4780a2cec418800efdac9102124cca9731

  • avatar
  • vesal (Committer)
  • Sun Oct 22 14:59:27 EEST 2017
  • avatar
  • vesal (Author)
  • Sun Oct 22 14:59:27 EEST 2017
timeout also for cmds, R button to left side in AnswerBrowser
timApp/modules/cs/cs.py
(1 / 1)
  
12001200 uargs = ""
12011201 print("run: ", cmd, extra, language.pure_exename, language.sourcefilename)
12021202 try:
1203 code, out, err, pwddir = run2(cmd, cwd=language.prgpath, timeout=10, env=env,
1203 code, out, err, pwddir = run2(cmd, cwd=language.prgpath, timeout=language.timeout, env=env,
12041204 stdin=language.stdin,
12051205 uargs=get_param(query, "runargs", "") + " " + uargs,
12061206 extra=extra, no_x11=language.no_x11)
timApp/static/templates/answerBrowser.html
(1 / 1)
  
77 <div class="col-xs-5">
88 <div class="input-group input-group-xs">
99 <span class="input-group-btn">
10 <button class="btn btn-primary" ng-click="randomStudent()" title="Choose random student">R</button>
1011 <button class="btn btn-primary" ng-click="changeStudent(-1)">&uarr;</button>
1112 </span>
1213 <select class="form-control"
1616 ng-change="getAvailableAnswers()"></select>
1717 <span class="input-group-btn">
1818 <button class="btn btn-primary" ng-click="changeStudent(+1)">&darr;</button>
19 <button class="btn btn-primary" ng-click="randomStudent()" title="Choose random student">R</button>
2019 </span>
2120 </div>
2221 </div>