Update stdserver.h