clear and unlink proxy file manually rather than calling grid-proxy-destroy because the grid-proxy-destroy interface is confusing and it's better not to rely on external programs being in our path.  we should do the same for grid-proxy-init at some point.
clear and unlink proxy file manually rather than calling grid-proxy-destroy
because the grid-proxy-destroy interface is confusing and it's better not
to rely on external programs being in our path.  we should do the same
for grid-proxy-init at some point.

globus/globus-toolkit,globus/globus-toolkit,ellert/globus-toolkit,globus/globus-toolkit,gridcf/gct,globus/globus-toolkit,ellert/globus-toolkit,ellert/globus-toolkit,gridcf/gct,globus/globus-toolkit,globus/globus-toolkit,gridcf/gct,globus/globus-toolkit,globus/globus-toolkit,ellert/globus-toolkit,gridcf/gct,ellert/globus-toolkit,ellert/globus-toolkit,gridcf/gct,ellert/globus-toolkit,ellert/globus-toolkit,gridcf/gct