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 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 client. To manage your subscriptions to this and other Galaxy lists, please use the interface at:

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