Commit 8986702d authored by Lubomir Bulej's avatar Lubomir Bulej

Remove unused RequestHandler interface

parent de0787db
......@@ -47,7 +47,6 @@
<src path="src/src-msg-analyze" />
<src path="src/src-msg-analyze-mtdispatch" />
<src path="src/src-remoteanalysis" />
<src path="src/src-reqdispatch" />
<src path="src/src-server-api" />
<src path="src/src-shadow" />
<src path="src/src-util" />
......
package ch.usi.dag.shvm;
import java.io.DataInputStream;
import java.io.DataOutputStream;
public interface RequestHandler {
void handle(DataInputStream is, DataOutputStream os, boolean debug)
throws DiSLREServerException;
// invoked at exit
void exit();
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment