Should we restart the license server after receiving a new permanent license?