On Mon, Feb 14, 2011 at 8:44 AM, Florent Angly <florent.an...@gmail.com> wrote:
> Thanks for the help Alex! I got it working this way:
>
> In the <inputs> section:
> <param name="random_seed" type="integer" value="0" optional="true"
> label="Random seed" help="Seed number to use for the pseudo-random number
> generator." />
>
> In the <command> section:
>      #if $random_seed > 0
>        -random_seed    $random_seed
>      #end if
>
> Florent

Does that actually let the user put an empty string in? My guess is not,
and you are just using zero as the default (meaning no seed). This is
the same workaround I have been using (where there is a suitable
dummy values - not always the case).

Peter

_______________________________________________
The Galaxy User list should be used for the discussion of Galaxy analysis and
other features on the public server at usegalaxy.org.  For discussion of local
Galaxy instances and the Galaxy source code, please use the Galaxy Development
list:

  http://lists.bx.psu.edu/listinfo/galaxy-dev

To manage your subscriptions to this and other Galaxy lists, please use the
interface at:

  http://lists.bx.psu.edu/

Reply via email to