diff --git a/common/src/main/java/com/github/mvysny/vaadinboot/common/WebServer.java b/common/src/main/java/com/github/mvysny/vaadinboot/common/WebServer.java index 9bcd178..385b688 100644 --- a/common/src/main/java/com/github/mvysny/vaadinboot/common/WebServer.java +++ b/common/src/main/java/com/github/mvysny/vaadinboot/common/WebServer.java @@ -58,7 +58,7 @@ public interface WebServer { * After the de-initialization is done and the web server is stopped, this function returns. *
* Will be called from one thread only, and at most once. - * @throws Exception if stop failed. + * @throws Exception if stop failed. In this case the state of the web server is undefined. */ void stop() throws Exception;