mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Mark Craig
14.39.2011 f8f299d4b7e65942b86f63d25ef5572dcaaa9f61
1
2
3
4
5
6
7
8
9
10
11
svnkit.level=FINEST
svnkit-network.level=FINEST
svnkit-wc.level=FINEST
svnkit-cli.level=FINEST
handlers = java.util.logging.FileHandler
 
java.util.logging.FileHandler.pattern = %h/svnkit.%u.log
java.util.logging.FileHandler.limit = 0
java.util.logging.FileHandler.count = 1
java.util.logging.FileHandler.append = true
java.util.logging.FileHandler.formatter = java.util.logging.SimpleFormatter