Ft. Worth officer injured in shooting discharged from hospital