If you experience problems, then you'll need to double-check which version of the server you have. This will help you to report a fault or to consult the correct version of the manual.
