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

Mark Craig
31.44.2014 a9910a69b7d0842879f6eef4ebf11006384bcc73
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