Fix exception in FileTicketService when deleting a repository

James Moger

2014-10-31 48ca8a006d6c96af0b134ebf07daa35eb367d5d8

 src/main/java/com/gitblit/transport/ssh/WelcomeShell.java

@@ -1,4 +1,5 @@
/*
 * Copyright (C) 2009 The Android Open Source Project
 * Copyright 2014 gitblit.com.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");