Attachment 71727 Details for Bug 115006 – execution patch

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] execution patch

patch_115006_ex.txt (text/plain), 3.26 KB, created by Igor Alelekov

on 2007-06-19 08:24:32 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Igor Alelekov

Created: 2007-06-19 08:24:32 EDT

Size: 3.26 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.tptp.platform.execution
>Index: src/org/eclipse/tptp/platform/execution/datacollection/IBaseAgent.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.execution/src/org/eclipse/tptp/platform/execution/datacollection/IBaseAgent.java,v
>retrieving revision 1.14
>diff -u -r1.14 IBaseAgent.java
>--- src/org/eclipse/tptp/platform/execution/datacollection/IBaseAgent.java	10 Feb 2006 21:54:13 -0000	1.14
>+++ src/org/eclipse/tptp/platform/execution/datacollection/IBaseAgent.java	19 Jun 2007 07:18:47 -0000
>@@ -201,5 +201,6 @@
> 	 */
> 	public String getUUID(); 
> 	
>+	public void processCommandLine(String argv[]);
> }
> 
>Index: src/org/eclipse/tptp/platform/execution/datacollection/BaseAgent.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.execution/src/org/eclipse/tptp/platform/execution/datacollection/BaseAgent.java,v
>retrieving revision 1.15
>diff -u -r1.15 BaseAgent.java
>--- src/org/eclipse/tptp/platform/execution/datacollection/BaseAgent.java	10 Feb 2006 21:54:13 -0000	1.15
>+++ src/org/eclipse/tptp/platform/execution/datacollection/BaseAgent.java	19 Jun 2007 07:18:47 -0000
>@@ -148,6 +148,8 @@
>     private native int sendEventNotifications0(ICommandFragment cmd);
>     
>     private native int addEventListener0(String eventsIID, int listenerID, int replyDest, int replyContext);
>+
>+	private native void processCommandLine0(String[] argv);
>     
>     public BaseAgent(String name) 
>     {
>@@ -172,7 +174,6 @@
>                 else
>                 {
>                     _isInitialized = true;
>-                    System.out.println("Agent initialized");
>                 }
>             }
>             catch(Exception e)
>@@ -578,6 +579,14 @@
> 		}
> 	}
> 
>+	public void processCommandLine(String[] argv) {
>+	    try {
>+	        processCommandLine0(argv);
>+	    }
>+	    catch(Exception e){
>+	    }
>+	}
>+
> //    /**
> //     * Called by the native implementation to indicate that the agent
> //     * is now registered with the Agent Controller.
>Index: src/org/eclipse/tptp/platform/execution/samples/TPTPJavaAgent.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.execution/src/org/eclipse/tptp/platform/execution/samples/TPTPJavaAgent.java,v
>retrieving revision 1.16
>diff -u -r1.16 TPTPJavaAgent.java
>--- src/org/eclipse/tptp/platform/execution/samples/TPTPJavaAgent.java	10 Feb 2006 21:53:14 -0000	1.16
>+++ src/org/eclipse/tptp/platform/execution/samples/TPTPJavaAgent.java	19 Jun 2007 07:18:47 -0000
>@@ -64,15 +64,15 @@
> 		
> 		/* Register agent */
> 		try
>-		{
>+		{	jAgent.processCommandLine(args);
> 		    jAgent.register();
> 		}
> 		catch(Exception e){e.printStackTrace();}
>+		
> 		Thread thread = new Thread(jAgent);
> 		thread.start();
>-		
>-			
>     }
>+    
>     public void processCommand(ICommandFragment cmd)
>     {
>         super.processCommand(cmd);
>@@ -99,7 +99,7 @@
>     {
>         while(running)
>         {
>-            
>+            try { Thread.sleep(1000); } catch (Exception e) {}
>         }
>         /* Deregister agent */
> 		this.deregister();

Actions: View | Diff

Attachments on bug 115006: 66917 | 71726 | 71727