diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/src/com/vaadin/server/ErrorHandlingRunnable.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/server/src/com/vaadin/server/ErrorHandlingRunnable.java b/server/src/com/vaadin/server/ErrorHandlingRunnable.java index 8ae6ce3d5d..3970a14ee8 100644 --- a/server/src/com/vaadin/server/ErrorHandlingRunnable.java +++ b/server/src/com/vaadin/server/ErrorHandlingRunnable.java @@ -15,6 +15,8 @@ */ package com.vaadin.server; +import java.io.Serializable; + /** * Defines the interface to handle exceptions thrown during the execution of a * FutureAccess. @@ -22,7 +24,7 @@ package com.vaadin.server; * @since 7.1.8 * @author Vaadin Ltd */ -public interface ErrorHandlingRunnable extends Runnable { +public interface ErrorHandlingRunnable extends Runnable, Serializable { /** * Handles exceptions thrown during the execution of a FutureAccess. |