From affeb2d3bad85ec28af7c7a36fde15873d7949f9 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Fri, 22 Dec 2023 00:44:08 +0100
Subject: [PATCH] Remove obsolete user_id leftover in requestComments()

---
 app/assets/javascripts/editor/participantsupport.js.erb | 1 -
 1 file changed, 1 deletion(-)

diff --git a/app/assets/javascripts/editor/participantsupport.js.erb b/app/assets/javascripts/editor/participantsupport.js.erb
index c176f206..e3529cdb 100644
--- a/app/assets/javascripts/editor/participantsupport.js.erb
+++ b/app/assets/javascripts/editor/participantsupport.js.erb
@@ -112,7 +112,6 @@ CodeOceanEditorRequestForComments = {
     $('#question').prop("disabled", true);
     $('#closeAskForCommentsButton').addClass('d-none');
 
-    var user_id = $('#editor').data('user-id');
     var exercise_id = $('#editor').data('exercise-id');
     var file_id = $('.editor').data('id');
     var question = $('#question').val();