alpha-asp / Alpha

A lazy-grounding Answer-Set Programming system
BSD 2-Clause "Simplified" License
58 stars 10 forks source link

Change SimpleLogger time format #346

Closed paulbehofsics closed 2 years ago

paulbehofsics commented 2 years ago

In the comments of the simplelogger.properties files the number of milliseconds since startup is specified as the intended time format for logging. The current configuration results in the number of milliseconds since the last second.

# Format for logged timestamps. 
# For Alpha, we use milliseconds since startup
org.slf4j.simpleLogger.dateTimeFormat=S