stdioserverparameters documentation