Fix broken THING_MUSICPLAYER_SETTINGS.

[plomrogue2] / plomrogue / parser.py

diff --git a/plomrogue/parser.py b/plomrogue/parser.py
index 05c830ff8552c216b81924c46244067717e478a4..140637b468aea0982462a9e3a697690ee24c676d 100644 (file)
--- a/plomrogue/parser.py
+++ b/plomrogue/parser.py
@@ -127,6 +127,11 @@ class Parser:
                 if not arg.isdigit() or int(arg) < 1:
                     raise ArgError('Argument must be positive integer.')
                 args += [int(arg)]
+            elif tmpl == 'int':
+                try:
+                    args += [int(arg)]
+                except ValueError:
+                    raise ArgError('Argument must be integer.')
             elif tmpl == 'bool':
                 if not arg.isdigit() or int(arg) not in (0, 1):
                     raise ArgError('Argument must be 0 or 1.')