Exclusively lock Runners during code executions
Previously, the same runner could be used multiple times with different submissions simultaneously. This, however, yielded errors, for example when one submission time oud (causing the running to be deleted) while another submission was still executed. Admin actions, such as the shell, can be still executed regardless of any other code execution. Fixes CODEOCEAN-HG Fixes openHPI/poseidon#423
This commit is contained in:

committed by
Sebastian Serth

parent
427b54d306
commit
8fc5123bae
@ -398,6 +398,7 @@ de:
|
||||
network: 'Während Ihr Code läuft, ist Port %{port} unter folgender Adresse erreichbar: <a href="%{address}" target="_blank" rel="noopener">%{address}</a>.'
|
||||
render: Anzeigen
|
||||
run: Ausführen
|
||||
runner_in_use: Sie führen momentan Code aus. Bitte stoppen Sie die vorherige Ausführung oder warten Sie einen Moment, bevor Sie fortfahren.
|
||||
run_failure: Ihr Code konnte nicht auf der Plattform ausgeführt werden.
|
||||
run_success: Ihr Code wurde auf der Plattform ausgeführt.
|
||||
requestComments: Kommentare erbitten
|
||||
|
@ -398,6 +398,7 @@ en:
|
||||
network: 'While your code is running, port %{port} is accessible using the following address: <a href="%{address}" target="_blank" rel="noopener">%{address}</a>.'
|
||||
render: Render
|
||||
run: Run
|
||||
runner_in_use: You are currently running code. Please stop the previous execution, or wait a moment before proceeding.
|
||||
run_failure: Your code could not be run.
|
||||
run_success: Your code was run on our servers.
|
||||
requestComments: Request Comments
|
||||
|
Reference in New Issue
Block a user