added BufferManager for the AppServer class