Closed jmchilton closed 9 years ago
Can we deprecate galaxy_paster_port and rename it galaxy_web_port?
galaxy_paster_port
galaxy_web_port
I have no problem adding both to conf_file for several releases.
conf_file
+1 from me.
@jmchilton yes please!
xref #21
Can we deprecate
galaxy_paster_port
and rename itgalaxy_web_port
?I have no problem adding both to
conf_file
for several releases.