server: nice PS1 style.