| Index: plugins/org.chromium.sdk/src/org/chromium/sdk/DebugEventListener.java
|
| diff --git a/plugins/org.chromium.sdk/src/org/chromium/sdk/DebugEventListener.java b/plugins/org.chromium.sdk/src/org/chromium/sdk/DebugEventListener.java
|
| index 8031e603eb23205db19b262e13c4445483f4b323..f77f3c05f00c3cccd49f0f617e64a7b8e850329a 100755
|
| --- a/plugins/org.chromium.sdk/src/org/chromium/sdk/DebugEventListener.java
|
| +++ b/plugins/org.chromium.sdk/src/org/chromium/sdk/DebugEventListener.java
|
| @@ -30,6 +30,7 @@ public interface DebugEventListener {
|
| /**
|
| * Reports the debug connection has terminated and {@link JavascriptVm} has stopped operating.
|
| * This event is reported always, regardless of which reason causes termination.
|
| + * TODO: consider adding disconnect reason here.
|
| */
|
| void disconnected();
|
|
|
|
|