# Server utilities