Licensing on server restart

Active sessions and their licenses are not stored when the IRIS Focus server is shut down.

When the server restarts, the licensing seats are allocated from scratch to users who log in. The total number of seats in the license pool is unaffected.