sync/gen_statemachine.ysl2
branchkeysync
changeset 1166 f128fb9fe444
parent 1165 05c831cfab65
child 1205 73464cbee361
     1.1 --- a/sync/gen_statemachine.ysl2	Sun Sep 18 16:55:53 2016 +0200
     1.2 +++ b/sync/gen_statemachine.ysl2	Sun Sep 18 22:12:27 2016 +0200
     1.3 @@ -223,7 +223,11 @@
     1.4              when "parm" > «name(parm/*)»
     1.5              otherwise > NULL
     1.6          }
     1.7 -        > , NULL);\n
     1.8 +        choose {
     1.9 +            when "parm[2]" > , extra /*«name(parm[2]/*)»*/
    1.10 +            otherwise > , NULL
    1.11 +        }
    1.12 +        > );\n
    1.13          | if (status == PEP_OUT_OF_MEMORY)
    1.14          |> return (int) invalid_out_of_memory;
    1.15          | if (status != PEP_STATUS_OK)