Fix of ancient WinBoard bug: check value of int options
authorH.G. Muller <h.g.muller@hccnet.nl>
Wed, 3 Feb 2010 12:42:09 +0000 (13:42 +0100)
committerArun Persaud <arun@nubati.net>
Sat, 6 Feb 2010 05:21:12 +0000 (21:21 -0800)
commit098f667a67c83a5c0b8b8d46f4fe0c8d7f9149da
tree893a0d97f4c56b677a203abe971e5367527edeb1
parent1df59f5885aaf9f5d0ecf0e8ba31bc3fcb776103
Fix of ancient WinBoard bug: check value of int options

Only strings of digits are accepted now.
winboard/winboard.c