A programming language for remote server management