+ # We're looking for packed short options
+ if str.chars.last_index_of('-') == 0 and str.length > 2 then
+ var next_called = false
+ for i in [1..str.length[ do
+ var short_opt = "-" + str.chars[i].to_s
+ if optmap.has_key(short_opt) then
+ var option = optmap[short_opt]
+ if option isa OptionParameter then
+ it.next
+ next_called = true
+ end
+ option.read_param(it)
+ end
+ end
+ if not next_called then it.next