How to get the FPS of the server

The title says it all…

http://www.facepunch.com/showthread.php?t=888540