Project

General

Profile

Defect #684 ยป busy_patch.txt

Patrick Ruhsert, 04/11/2013 12:39 PM

 
1
### Eclipse Workspace Patch 1.0
2
#P BusyPlugin
3
Index: src/net/stuff/servoy/plugins/busy/wicket/BusyWicketProvider.java
4
===================================================================
5
--- src/net/stuff/servoy/plugins/busy/wicket/BusyWicketProvider.java	(revision 50)
6
+++ src/net/stuff/servoy/plugins/busy/wicket/BusyWicketProvider.java	(working copy)
7
@@ -146,7 +146,7 @@
8
 	}
9
 
10
 	public void ready() {
11
-		Debug.log("Busy ready called");
12
+		Debug.trace("Busy ready called");
13
 		try {
14
 			final IBusyService service = (IBusyService) application.getServerService(BusyServerPlugin.RMI_SERVICE_NAME);
15
 			if (service != null) {
16
Index: src/net/stuff/servoy/BusyAbstractProvider.java
17
===================================================================
18
--- src/net/stuff/servoy/BusyAbstractProvider.java	(revision 50)
19
+++ src/net/stuff/servoy/BusyAbstractProvider.java	(working copy)
20
@@ -53,7 +53,7 @@
21
 	}
22
 	
23
 	public void setCanceled(final boolean b) {
24
-		Debug.log("Busy set to "+ !b);
25
+		Debug.trace("Busy set to "+ !b);
26
 		busy.set(!b);
27
 	}
28
 	
29
Index: src/net/stuff/servoy/BusyServerService.java
30
===================================================================
31
--- src/net/stuff/servoy/BusyServerService.java	(revision 50)
32
+++ src/net/stuff/servoy/BusyServerService.java	(working copy)
33
@@ -46,7 +46,7 @@
34
 		final String clientID = req.getParameter("id");
35
 		securityCheck(clientID);
36
 		
37
-		Debug.log("BusyServlet cancel called");
38
+		Debug.trace("BusyServlet cancel called");
39
 		plugin.doCancel(clientID);
40
 		resp.setHeader("Pragma", "no-cache");
41
 		resp.setHeader("Expires", "-1");
    (1-1/1)