play: Convert com_jmp() to lopsub.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 28 Mar 2016 16:55:58 +0000 (16:55 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 26 Mar 2017 09:02:28 +0000 (11:02 +0200)
commit2419c04b9b4f1ab252b6a135254cf4555a11a1a4
tree8d9609298f574ea9adedf264d2d2f88774b64f52
parentd68567a43e3fd04d95872f99711e8ffa223386f9
play: Convert com_jmp() to lopsub.

The command handler needs to check that there is a single argument
which is an integer between 0 and 100. This check needs to be modified
to use the lopsub primitives rather than accessing the argument
vector directly.

Unfortunately we can not perform the conversion of the string argument
into an int value with lopsub since the given percentage is an unnamed
option rather than an argument of an option.

The patch also rewords the summary and the help text of the jmp
subcommand slightly to be more clear.
m4/lls/play_cmd.suite.m4
play.c
play.cmd