server proc: reading args