| commit | 97a5de3c1a156f064abf6e02e2789ff65a14d74b | [log] [tgz] |
|---|---|---|
| author | Andrey Sobolev <haiodo@gmail.com> | Tue May 24 17:16:25 2016 +0600 |
| committer | Andrey Sobolev <haiodo@gmail.com> | Tue May 24 17:16:25 2016 +0600 |
| tree | 2e1d7ba51b1fb29007cb71300efe41f83f6f9309 | |
| parent | ba6d1a2f5012bc0ca949df255c842df2406e82db [diff] |
Allow to correct DBGP options. Signed-off-by: Andrey Sobolev <haiodo@gmail.com>
diff --git a/core/plugins/org.eclipse.dltk.debug/src/org/eclipse/dltk/dbgp/DbgpRequest.java b/core/plugins/org.eclipse.dltk.debug/src/org/eclipse/dltk/dbgp/DbgpRequest.java index a71c4b5..5017138 100644 --- a/core/plugins/org.eclipse.dltk.debug/src/org/eclipse/dltk/dbgp/DbgpRequest.java +++ b/core/plugins/org.eclipse.dltk.debug/src/org/eclipse/dltk/dbgp/DbgpRequest.java
@@ -52,6 +52,10 @@ options.put(optionName, optionValue.toString()); } + public void removeOption(String optionName) { + options.remove(optionName); + } + public String getOption(String optionName) { return (String) options.get(optionName); }