Intrexx services can be restarted, for example, in the Windows Control Panel (Administrative Tools). You can identify the Intrexx portal services by the prefix "Intrexx Portal," followed by the name of the portal.