diff options
author | Nitin Dahyabhai | 2013-01-25 20:43:43 +0000 |
---|---|---|
committer | Nitin Dahyabhai | 2013-01-25 20:43:43 +0000 |
commit | 6779c3f0b3fd4c56e9d84be8d9c17bdfe0b3f79a (patch) | |
tree | 752da08262282f2ec88f93e46fabba67052b6de0 | |
parent | e25c3ca4b12348e74c34215e3edd9bdc7d0b550e (diff) | |
download | webtools.maps-6779c3f0b3fd4c56e9d84be8d9c17bdfe0b3f79a.tar.gz webtools.maps-6779c3f0b3fd4c56e9d84be8d9c17bdfe0b3f79a.tar.xz webtools.maps-6779c3f0b3fd4c56e9d84be8d9c17bdfe0b3f79a.zip |
[384397] ValidationPlugin#stop() should stop its jobs instead of join()ing them
-rw-r--r-- | releng.common/maps/wst-common-core.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.common/maps/wst-common-core.map b/releng.common/maps/wst-common-core.map index 6b8c1b6ca..1f9b24698 100644 --- a/releng.common/maps/wst-common-core.map +++ b/releng.common/maps/wst-common-core.map @@ -16,7 +16,7 @@ plugin@org.eclipse.wst.common.uriresolver=GIT,tag=v201203071939,repo=git://git.e plugin@org.eclipse.wst.internet.cache=GIT,tag=v201203071939,repo=git://git.eclipse.org/gitroot/webtools-common/webtools.common.git,path=plugins/org.eclipse.wst.internet.cache -plugin@org.eclipse.wst.validation=GIT,tag=v201301171800,repo=git://git.eclipse.org/gitroot/webtools-common/webtools.common.git,path=plugins/org.eclipse.wst.validation +plugin@org.eclipse.wst.validation=GIT,tag=v201301252040,repo=git://git.eclipse.org/gitroot/webtools-common/webtools.common.git,path=plugins/org.eclipse.wst.validation plugin@org.eclipse.jem.util=GIT,tag=v201103021400,repo=git://git.eclipse.org/gitroot/webtools-common/webtools.common.git,path=plugins/org.eclipse.jem.util |