added tinman server command