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

Check for active programming group and session ID before unsubscribing

Browse Source 
Fixes CODEOCEAN-VJ
This commit is contained in:
Sebastian Serth
2023-09-20 23:44:52 +02:00
parent 1bd0cd9a56
commit 8d04eacd35
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
app/channels/synchronized_editor_channel.rb
View File

@ -20,6 +20,8 @@ class SynchronizedEditorChannel < ApplicationCable::Channel
def unsubscribed def unsubscribed
# Any cleanup needed when channel is unsubscribed # Any cleanup needed when channel is unsubscribed
stop_all_streams stop_all_streams
return unless programming_group && @session_id
message = create_message('connection_change', 'disconnected') message = create_message('connection_change', 'disconnected')
Event::SynchronizedEditor.create_for_connection_change(message, current_user, programming_group) Event::SynchronizedEditor.create_for_connection_change(message, current_user, programming_group)