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

Nicolas Capponi
16.51.2014 da39f45ae2d1523b96651b16fd12d6952ed3a199
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