ServerShell extends Shell