diff options
Diffstat (limited to 'language-web/src/main/java/tools/refinery/language/web/xtext/servlet/ResponseHandler.java')
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/xtext/servlet/ResponseHandler.java | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/ResponseHandler.java b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/ResponseHandler.java deleted file mode 100644 index b1fcbc8b..00000000 --- a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/ResponseHandler.java +++ /dev/null | |||
@@ -1,8 +0,0 @@ | |||
1 | package tools.refinery.language.web.xtext.servlet; | ||
2 | |||
3 | import java.io.IOException; | ||
4 | |||
5 | @FunctionalInterface | ||
6 | public interface ResponseHandler { | ||
7 | void onResponse(XtextWebSocketResponse response) throws IOException; | ||
8 | } | ||