Reboot Linux Server

On a server where normal reboot commands such as ‘shutdown -r now’ are not working and if you don’t have access to an iDrac or similar the following worked:

echo 1 > /proc/sys/kernel/sysrq 
echo b > /proc/sysrq-trigger