debugging for fixing server crash