diff options
Diffstat (limited to 'language-web/src/main/java/tools/refinery/language/web/xtext/servlet')
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketServlet.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketServlet.java b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketServlet.java index 6d4d2cad..942ca380 100644 --- a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketServlet.java +++ b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketServlet.java | |||
@@ -31,7 +31,7 @@ public abstract class XtextWebSocketServlet extends JettyWebSocketServlet implem | |||
31 | */ | 31 | */ |
32 | private static final long MAX_FRAME_SIZE = 4L * 1024L * 1024L; | 32 | private static final long MAX_FRAME_SIZE = 4L * 1024L * 1024L; |
33 | 33 | ||
34 | private static final Duration IDLE_TIMEOUT = Duration.ofMinutes(10); | 34 | private static final Duration IDLE_TIMEOUT = Duration.ofSeconds(30); |
35 | 35 | ||
36 | private transient Logger log = LoggerFactory.getLogger(getClass()); | 36 | private transient Logger log = LoggerFactory.getLogger(getClass()); |
37 | 37 | ||