HTTP symbol server/manager