Version: 5.92
OS: Windows 2003 Server
-Read the manual
-Searched the forums
-Checked the FAQ section
-Fumbled around on the console cluelessly

Problem: AM/PM clock is problematic for a 24/7 operation. I changed this on the server under Options | Miscellaneous | Time format to HH:mm:ss. Then, I restarted the service and it showed up properly. Yay!

Then, I logged on via the RCC and it still shows AM/PM.

Changing other things like the color seems to work ok. Whenever I save though, it keeps displaying the msg that the service must be restarted to activate the new date/time settings.
Could this be a bug or am I doing something wrong?