webmix studio

Good point! We agree that a full restart is the safer choice for critical security patches. Making sure old workers are completely replaced is just as important as updating the PHP runtime itself. Better to accept a brief interruption than leave vulnerable processes running.