mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 02:40:08 +00:00
parent
72a3c2fe97
commit
149a0183ec
@ -839,6 +839,9 @@ struct vCont : Command_without_separator
|
||||
handled = true;
|
||||
});
|
||||
|
||||
if (handled)
|
||||
return;
|
||||
|
||||
with_skipped_prefix(args, ";", [&] (Const_byte_range_ptr const &args) {
|
||||
|
||||
for_each_argument(args, Sep { ';' }, [&] (Const_byte_range_ptr const &arg) {
|
||||
|
Loading…
Reference in New Issue
Block a user