A web-based trouble ticket manager