Yes, that's the point, it does and it seems as it's the most reliable option to restart and update ESET. Normal reboot sometimes won't work properly. It's unfortunate because it's not the desired method to do this kind of maintenance, some users are not really tech-savvy.