all changes for 'HTL-RMI' 0704 should be marked the same way
authorwneuper
Thu, 19 Apr 2007 14:31:48 +0200
changeset 38737f52c751644b
parent 3872 6b061c6d0157
child 3874 f9fcc52c7c0a
all changes for 'HTL-RMI' 0704 should be marked the same way
src/java/isac/session/ObjectManager.java
     1.1 --- a/src/java/isac/session/ObjectManager.java	Thu Apr 19 14:18:59 2007 +0200
     1.2 +++ b/src/java/isac/session/ObjectManager.java	Thu Apr 19 14:31:48 2007 +0200
     1.3 @@ -113,7 +113,7 @@
     1.4  			
     1.5  	        try
     1.6  	        {
     1.7 -	                // Use ObjectManagerRMISocketFactory
     1.8 +	                // Use ObjectManagerRMISocketFactory 0704
     1.9  	                RMISocketFactory.setSocketFactory(
    1.10  	                        new ObjectManagerRMISocketFactory(3113,ObjectManagerPaths.OBJECT_MANAGER_RMI_PORT));
    1.11  	        }