From 19bcc4da54bd509da05c5f328ab32727ca46d180 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 28 Dec 2009 16:41:58 +0000 Subject: [PATCH] suggested a regexp that allows hyphens in people's real names, and fixed a typo svn: r17411 --- collects/handin-server/scribblings/server-setup.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/handin-server/scribblings/server-setup.scrbl b/collects/handin-server/scribblings/server-setup.scrbl index db4baa314a..ec13154b8b 100644 --- a/collects/handin-server/scribblings/server-setup.scrbl +++ b/collects/handin-server/scribblings/server-setup.scrbl @@ -134,8 +134,8 @@ This directory contains the following files and sub-directories: keeping, for example: @verbatim[#:indent 2]|{ (("Full Name" - #rx"^[A-Z][a-zA-Z]+(?: [A-Z][a-zA-Z]+)+$" - "full name, no punctuations, properly capitalized") + #rx"^[A-Z][a-zA-Z-]+(?: [A-Z][a-zA-Z-]+)+$" + "full name, no punctuation, properly capitalized") ("Utah ID Number" #rx"^[0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9][0-9]$" "Utah ID Number with exactly nine digits")