| commit | 43a82bc13ae4d1c2231d4cb22b19c9b0c1218942 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <sherrmann> | Tue May 01 20:36:10 2012 +0200 |
| committer | Stephan Herrmann <sherrmann> | Tue May 01 20:36:10 2012 +0200 |
| tree | e1d829834a4479dd69f03550b3e1884d568f399a | |
| parent | 4f3f3d13b87ffe30bb8a3d87892c723df45d3a31 [diff] |
Fix for Bug 378176 - [debug] support hot code replacement of teams/roles/bases
diff --git a/plugins/org.eclipse.objectteams.runtime/src/org/eclipse/objectteams/otre/ObjectTeamsTransformation.java b/plugins/org.eclipse.objectteams.runtime/src/org/eclipse/objectteams/otre/ObjectTeamsTransformation.java index 78154df..d6bb658 100644 --- a/plugins/org.eclipse.objectteams.runtime/src/org/eclipse/objectteams/otre/ObjectTeamsTransformation.java +++ b/plugins/org.eclipse.objectteams.runtime/src/org/eclipse/objectteams/otre/ObjectTeamsTransformation.java
@@ -154,7 +154,7 @@ // ---------- Debugging: ---------------------- // ------------------------------------------ /** Initialized from property <tt>ot.debug</tt>. */ - static boolean debugging = false; + public static boolean debugging = false; static { if(System.getProperty("ot.debug") != null)
diff --git a/plugins/org.eclipse.objectteams.runtime/src/org/eclipse/objectteams/otre/jplis/ObjectTeamsTransformer.java b/plugins/org.eclipse.objectteams.runtime/src/org/eclipse/objectteams/otre/jplis/ObjectTeamsTransformer.java index 041cd84..5944db4 100644 --- a/plugins/org.eclipse.objectteams.runtime/src/org/eclipse/objectteams/otre/jplis/ObjectTeamsTransformer.java +++ b/plugins/org.eclipse.objectteams.runtime/src/org/eclipse/objectteams/otre/jplis/ObjectTeamsTransformer.java
@@ -109,8 +109,10 @@ break; } if (classBeingRedefined != null) { - System.out.println("Redefinition!"); - return null; + if (!ObjectTeamsTransformation.debugging) { + System.out.println("Redefinition!"); + return null; + } } //