How to reboot your dedicated server via WHM?

The WHM panel provides two options for a server reboot:

Forceful Server Reboot...