Adding handler for httpexceptions.HTTPFound, so that the redirect tool will work (rather then causing an error)

lib/galaxy/tools/__init__.py

@@ -35,6 +35,8 @@ from galaxy.util import listify
 import galaxy.util.shed_util_common
 from galaxy.web import url_for
 
+from paste import httpexceptions
+
 from galaxy.visualization.genome.visual_analytics import TracksterConfig
 
 log = logging.getLogger( __name__ )
@@ -1801,6 +1803,9 @@ class Tool( object ):
             elif state.page == self.last_page:
                 try:
                     _, out_data = self.execute( trans, incoming=params, history=history )
+                except httpexceptions.HTTPFound, e:
+                    #if it's a paste redirect exception, pass it up the stack
+                    raise e
                 except Exception, e:
                     log.exception('Exception caught while attempting tool execution:')
                     return 'message.mako', dict( status='error', message='Error executing tool: %s' % str(e), refresh_frames=[] )