suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

svn: r1278

Browse Source
This commit is contained in:
Eli Barzilay 2005-11-11 02:37:25 +00:00
parent e2c19981e2
commit 2047a756c7
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/handin-server/doc.txt
View File

@ -713,7 +713,7 @@ Keywords for configuring `check:':
* :maxwidth -- a number that specifies maximum line lengths for * :maxwidth -- a number that specifies maximum line lengths for
submissions (a helpful feature for reading student code). Defaults submissions (a helpful feature for reading student code). Defaults
to 80. This feature can be disabled if set to #f. to 79. This feature can be disabled if set to #f.
* :output -- the name of the original handin file (unrelated to the * :output -- the name of the original handin file (unrelated to the
text-converted files). Defaults to "hw.scm". text-converted files). Defaults to "hw.scm".

4
collects/handin-server/extra-utils.ss
View File

@ -63,7 +63,7 @@
w w
(loop (cdr l) (loop (cdr l)
(if (char=? #\tab (car l)) (+ 8 (- w (modulo w 8))) (add1 w)))))) (if (char=? #\tab (car l)) (+ 8 (- w (modulo w 8))) (add1 w))))))
(unless (< (bytes-length line) len) (unless (<= (bytes-length line) len)
(let ([line (bytes->string/utf-8 line)]) (let ([line (bytes->string/utf-8 line)])
(unless (or (< (string-length line) len) (unless (or (< (string-length line) len)
(< (string-width line) len)) (< (string-width line) len))
@ -246,7 +246,7 @@
[teachpacks* (get ':teachpacks #''())] [teachpacks* (get ':teachpacks #''())]
[create-text?* (get ':create-text? #'#t)] [create-text?* (get ':create-text? #'#t)]
[textualize?* (get ':textualize? #'#f)] [textualize?* (get ':textualize? #'#f)]
[maxwidth* (get ':maxwidth #'80)] [maxwidth* (get ':maxwidth #'79)]
[student-line* [student-line*
(get ':student-line (get ':student-line
#'"Student: {username} ({Full Name} <{Email}>)")] #'"Student: {username} ({Full Name} <{Email}>)")]