Revision: 6894 Author: [email protected] Date: Fri Nov 13 10:35:54 2009 Log: Merged tr...@6893 to get "gwt.codesvr" instead of "gwt.hosted", like this: svn merge --ignore-ancestry -c 6893 http://google-web-toolkit.googlecode.com/svn/trunk/ .
Merge by: bruce http://code.google.com/p/google-web-toolkit/source/detail?r=6894 Modified: /releases/2.0/branch-info.txt /releases/2.0/dev/core/src/com/google/gwt/dev/DevModeBase.java /releases/2.0/dev/core/src/com/google/gwt/dev/shell/BrowserListener.java ======================================= --- /releases/2.0/branch-info.txt Fri Nov 13 09:24:32 2009 +++ /releases/2.0/branch-info.txt Fri Nov 13 10:35:54 2009 @@ -634,3 +634,7 @@ Made missing plugin iframe in hosted.html prettier svn merge -c 6891 http://google-web-toolkit.googlecode.com/svn/trunk/ . +tr...@6893 was merged into this branch + Updated dev mode prompt URL to refer to "gwt.codesvr" instead of "gwt.hosted" + svn merge --ignore-ancestry -c 6893 http://google-web-toolkit.googlecode.com/svn/trunk/ . + ======================================= --- /releases/2.0/dev/core/src/com/google/gwt/dev/DevModeBase.java Wed Nov 11 12:58:11 2009 +++ /releases/2.0/dev/core/src/com/google/gwt/dev/DevModeBase.java Fri Nov 13 10:35:54 2009 @@ -873,7 +873,7 @@ getTopLogger().log(TreeLogger.ERROR, "Invalid URL " + url, e); throw new UnableToCompleteException(); } - System.err.println("Using a browser with the GWT Development Plugin, please browse to"); + System.err.println("Using a browser with the GWT Developer Plugin, please browse to"); System.err.println("the following URL:"); System.err.println(" " + url); final URL helpInfoUrl = parsedUrl; ======================================= --- /releases/2.0/dev/core/src/com/google/gwt/dev/shell/BrowserListener.java Tue Nov 10 11:13:04 2009 +++ /releases/2.0/dev/core/src/com/google/gwt/dev/shell/BrowserListener.java Fri Nov 13 10:35:54 2009 @@ -43,7 +43,7 @@ } public static String getDevModeURLParams(String endpointIdentifier) { - return "gwt.hosted=" + endpointIdentifier; + return "gwt.codesvr=" + endpointIdentifier; } private ServerSocket listenSocket; -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
