What is the difference between patching a standard web server and patching a controller on a live gas turbine?