08e7d742e063f3b9a33a0a6dc676e3e473d4bf27 - gwt

commit: 08e7d742e063f3b9a33a0a6dc676e3e473d4bf27
[log] [tgz]
author: jat@google.com <jat@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7>
Tue Jan 26 14:17:33 2010 +0000
committer: jat@google.com <jat@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7>
Tue Jan 26 14:17:33 2010 +0000
tree: 034edfa89eef11301967d68260427e7e492e6779
parent: 78ff8426303e68e18e34d45ff24aa12c2709434f [diff]

Fix NPE in DevMode if the war directory doesn't exist.

Patch by: jat
Review by: rdayal


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@7471 8db76d5a-ed1c-0410-87a9-c151d255dfc7

dev/core/src/com/google/gwt/dev/DevMode.java[diff]
dev/core/src/com/google/gwt/dev/DevModeBase.java[diff]

2 files changed

tree: 034edfa89eef11301967d68260427e7e492e6779

build-tools/
dev/
dev-ext/
distro-source/
doc/
eclipse/
jni/
plugins/
reference/
samples/
servlet/
tools/
user/
build.xml
common.ant.xml
platforms.ant.xml