added debugging statements for server stopping