From 5b09722c201a8ff4c5d953b3a0e5a24d3643a137 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Tue, 30 Nov 2021 21:35:14 +0100
Subject: [PATCH] Set minTimeIntervention to 30 min for Java

---
 app/assets/javascripts/editor/editor.js.erb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index d4015a48..51d7f4e8 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -832,7 +832,11 @@ var CodeOceanEditor = {
                     const percentile75 = data['working_time_75_percentile'];
                     const accumulatedWorkTimeUser = data['working_time_accumulated'];
 
-                    const minTimeIntervention = 10 * 60 * 1000;
+                    let minTimeIntervention = 10 * 60 * 1000;
+                    if ($('#editor').data('exercise-id') === 909) {
+                        // 30 minutes for our large Map exercise
+                        minTimeIntervention = 30 * 60 * 1000;
+                    }
 
                     let timeUntilIntervention;
                     if ((accumulatedWorkTimeUser - percentile75) > 0) {