Auto-restart did not occur push-installing Antivirus from v8.1.2031.0 to v8.1.2037.2

[JRV 1]

I pushed ESET Endpoint AV v8.1.2037.2  over v8.1.2031.0 from EP v8.1.1223.0. In the Software Install task, "Automatically reboot when needed" is enabled.

All of the computers installed the update, but none of the computers restarted.