stevel 2002/06/22 23:37:52
Modified: src/main/org/apache/tools/ant/taskdefs/optional/splash Tag:
ANT_15_BRANCH SplashTask.java
Log:
maybe we should factor out the stuff in setproxy, add a helper to set proxy
params on any HttpUrlConnection and then this task, get and setproxy can share
it
Revision Changes Path
No revision
No revision
1.3.2.1 +40 -1
jakarta-ant/src/main/org/apache/tools/ant/taskdefs/optional/splash/SplashTask.java
Index: SplashTask.java
===================================================================
RCS file:
/home/cvs/jakarta-ant/src/main/org/apache/tools/ant/taskdefs/optional/splash/SplashTask.java,v
retrieving revision 1.3
retrieving revision 1.3.2.1
diff -u -r1.3 -r1.3.2.1
--- SplashTask.java 15 Apr 2002 12:11:49 -0000 1.3
+++ SplashTask.java 23 Jun 2002 06:37:52 -0000 1.3.2.1
@@ -65,6 +65,14 @@
import org.apache.tools.ant.Project;
import org.apache.tools.ant.Task;
+/**
+ * creates a splash screen. The splash screen is displayed
+ * for the duration of the build and includes a handy progress bar as
+ * well. Use in conjunction with the sound task to provide interest
+ * whilst waiting for your builds to complete...
+ * @since Ant1.5
+ * @author Les Hughes ([EMAIL PROTECTED])
+ */
public class SplashTask extends Task {
private String imgurl = null;
@@ -77,24 +85,55 @@
private static SplashScreen splash = null;
+ /**
+ * A URL pointing to an image to display; optional, default antlogo.gif
+ * from the classpath.
+ */
public void setImageURL(String imgurl) {
this.imgurl = imgurl;
}
+
+ /**
+ * flag to enable proxy settings; optional, deprecated : consider
+ * using <setproxy> instead
+ * @deprecated use org.apache.tools.ant.taskdefs.optional.SetProxy
+ */
public void setUseproxy(boolean useProxy) {
this.useProxy = useProxy;
}
+
+ /**
+ * name of proxy; optional.
+ */
public void setProxy(String proxy){
this.proxy = proxy;
}
+
+ /**
+ * Proxy port; optional, default 80.
+ */
public void setPort(String port){
this.port = port;
}
+
+ /**
+ * Proxy user; optional, default =none.
+ */
public void setUser(String user){
this.user = user;
}
- public void setPassword(String password){
+
+ /**
+ * Proxy password; required if <tt>user</tt> is set.
+ */
+ public void setPassword(String password){
this.password = password;
}
+
+ /**
+ * how long to show the splash screen in milliseconds,
+ * optional; default 5000 ms.
+ */
public void setShowduration(int duration) {
this.showDuration = duration;
}
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
