Klever

In some cases deployment scripts can overwrite files used by running services. Sometimes this can result in fatal errors. For instance, if one will try to update a development version of Klever when solving a verification job then there may be internal server errors in Bridge because of absence of some files which are overwritten at the moment. To avoid the issue we just need to stop all Klever services in advance. Of course decision of solving verification jobs will fail but at least services will continue their operation without strange and hardly recoverable errors.