Comment Comment by dmaz It also prints to the log upon starting a 32-bit server. parent dmaz 14 years ago