summaryrefslogtreecommitdiff
path: root/make-man-index.py
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-09-15 22:26:56 -0400
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-09-16 09:58:37 -0500
commit4b549144d82ea0f368321d149215f577049fffa6 (patch)
treeee916708f2758a03690c6c0770cc238aa8757e91 /make-man-index.py
parent1244d8d640a2644aa8dc8e588cd9c414b3d39163 (diff)
Verify validity of session name when received from outside
Only ASCII letters and digits are allowed.
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions