htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Handle broken pipe socket in SubmissionsController

Browse Source 
Fixes CODEOCEAN-Y2
This commit is contained in:
Sebastian Serth
2023-11-06 00:16:53 +01:00
parent 2872c04934
commit 920f2dcb38
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
app/controllers/submissions_controller.rb
View File

@ -348,6 +348,9 @@ class SubmissionsController < ApplicationController
end end
def kill_client_socket(client_socket) def kill_client_socket(client_socket)
# Do nothing if the socket is not passed, i.e., because the pipe broke
return unless client_socket
# We don't want to store this (arbitrary) exit command and redirect it ourselves # We don't want to store this (arbitrary) exit command and redirect it ourselves
client_socket.send_data JSON.dump({cmd: :exit}) client_socket.send_data JSON.dump({cmd: :exit})
client_socket.send_data nil, :close client_socket.send_data nil, :close