Correct, there is only a shutdown command or to restart use ctrl + alt + del (only works if at console - not with Putty). Another way to avoid this issue is to use another NIC to access the GUI. Not sure when this function will be in future releases, I will try to keep you posted on this matter. Sorry for the inconvenience.