so they should work in the server terminal no?