sipisDisabled

Whether usage of the SIPIS server is disabled.

When this is set to true, push won't work but the user's credentials won't be transferred to the SIPIS server.