Ensure repository indexes are properly closed before deletion

James Moger

2012-03-19 8e9988c38cae55932cf707857fa8a06943e01d15

 src/com/gitblit/wicket/pages/CommitDiffPage.html

@@ -22,6 +22,7 @@
   

      <div class="header"><wicket:message key="gb.changedFiles">[changed files]</wicket:message></div>

   </div>

	
   <table class="pretty">

      <tr wicket:id="changedPath">

         <td class="changeType"><span wicket:id="changeType">[change type]</span></td>      

@@ -35,7 +36,7 @@
   </table>

   

   <!--  diff content -->

   <pre wicket:id="diffText">[diff text]</pre>

   <pre style="padding-top:10px;" wicket:id="diffText">[diff text]</pre>

   

</wicket:extend>

</body>