Hi Leandro,
The directory should not have been created upon Galaxy server start-up. This
issue has been resolved in change set 6892:6b8535e5b030 in our central
repository. Thanks for reporting this.
Greg Von Kuster
On Mar 26, 2012, at 5:57 AM, Leandro Hermida wrote:
> Dear all,
>
> Is it n
Dear all,
Is it normal that the latest galaxy-dist creates a shed_tools
directory one directory up (and outside) from the server galaxy-dist
directory?
best,
Leandro
___
Please keep all replies on the list by using "reply all"
in your mail c
