[Kimchi-devel] [PATCH] [Wok 1/2] Bug fix: Set application options globally on Server() instead of wokd command