blob: 4bad3e0e937b17f71def7a2e43ea362aba00a73c [file] [log] [blame]
--- config.orig/jacorb.properties 2017-08-10 15:56:43.473379450 +0200
+++ config/jacorb.properties 2017-07-27 14:19:55.352094093 +0200
@@ -18,11 +18,11 @@
# displayed (because the services aren't up yet). These exceptions
# are handled properly and cause no harm!
-#ORBInitRef.NameService=corbaloc::160.45.110.41:38693/StandardNS/NameServer-POA/_root
+#ORBInitRef.NameService=corbaloc::160.45.110.41:38693/StandardNS/NameServer-POA/_root
#ORBInitRef.NameService=file:/c:/NS_Ref
-ORBInitRef.NameService=http://www.x.y.z/~user/NS_Ref
+#ORBInitRef.NameService=http://www.x.y.z/~user/NS_Ref
#ORBInitRef.TradingService=http://www.x.y.z/~user/TraderRef
-ORBInitRef.InterfaceRepository=file:/c:/IR_Ref
+ORBInitRef.InterfaceRepository=file:/tmp/IR_Ref
########################################
# #
@@ -715,7 +722,7 @@
jacorb.naming.noping=on
# The file where the name server drops its IOR
-jacorb.naming.ior_filename=c:/NS_Ref
+jacorb.naming.ior_filename=/tmp/NS_Ref
########################################################