Rev 12335 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 8447 | guerimand | 1 | !bound option within 0,1,$empty default $empty |
| 2 | !if $option!=$empty |
||
| 12335 | bpr | 3 | !if $seq>0 and $seq<=$seq_cnt |
| 4 | x_=!record 1 of wimshome/log/classes/$wims_class/seq/.sequence$[$seq] |
||
| 16109 | guerimand | 5 | x_=!replace line number 4 by $option in $x_ |
| 12335 | bpr | 6 | !writefile wimshome/log/classes/$wims_class/seq/.sequence$[$seq] :$x_ |
| 7 | !endif |
||
| 8447 | guerimand | 8 | !endif |
| 9 | job=show |