8.10 About shutting down a floating license server

You might have to shut down a floating license server to, for example, use a new license or to use a modified options file. How you stop a floating license server depends on the platform you are using.