added KARMA setting to control turning on of karma server