ConfigHub/switch profiles: switch flags is integer, not an optional i…

…nteger. Re #155.

Mypy: switch flags must be an integer, not None or an integer. This guards against argument and attribute type mismatch.

addon/appModules/splstudio/splconfig.py

@@ -615,7 +615,7 @@ def getProfileFlags(
 	# This involves promoting and demoting normal profile.
 	# 17.10: this will never be invoked if only normal profile is in use
 	# or if config was loaded from memory alone.
-	def switchProfile(self, prevProfile: Optional[str], newProfile: str, switchFlags: Optional[int]) -> None:
+	def switchProfile(self, prevProfile: Optional[str], newProfile: str, switchFlags: int) -> None:
 		if self.normalProfileOnly or self.configInMemory:
 			raise RuntimeError(
 				"Only normal profile is in use or config was loaded from memory, cannot switch profiles"