mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: fa73aa05 | patch | commit | ignore whitespace
Ludovic Poitou
08.22.2013 22bb7b418b275b4b336ae80c3b43c5529636cc1b 
Fix checkstyle issue
1 files modified
3 ■■■■■ changed files
opends/src/server/org/opends/server/replication/server/ReplicationServerDomain.java 3 ●●●●● patch | view | raw | blame | history 
 opends/src/server/org/opends/server/replication/server/ReplicationServerDomain.java


@@ -1076,7 +1076,8 @@


          {


            if (debugEnabled())


            {


              TRACER.debugInfo("In " + replicationServer.getMonitorInstanceName()


              TRACER.debugInfo("In "


                  + replicationServer.getMonitorInstanceName()


                  + " remote server " + handler.getMonitorInstanceName()


                  + " is the last DS to be stopped: stopping status analyzer");


            }