I am updating some SQL Server 2000 code to SQL Server 2008R2, and there is function that looks a lot like this for converting the time into 24 hour format. What is a cooler/
If all you want is just military time:
SELECT CONVERT(VARCHAR(8), GETDATE(), 108) AS MilitaryTime