You can also run the updater tool yourself from the command line. Go toAdmin > Setup > Automatic Updater and near the bottom of the page is a section that sholud give you the exact command to run.

Just open the console on your server and type this command in exactly as it appears.