Ensure repository indexes are properly closed before deletion

James Moger

2012-03-19 8e9988c38cae55932cf707857fa8a06943e01d15

1
2
3
4
5
@REM arch = x86, amd64, or ia32 
SET ARCH=amd64 
 
@REM Delete the gitblit service 
"%CD%\%ARCH%\gitblit.exe" //DS//gitblit