It is hard to say when the ride will be reopened but it is not up to Disney it is up to DOSH to give the all clear. Becasue no one was killed I imagine it will not be as long as others have been. Big thunder was closed for a year I believe when they had there accident. Basically DOSH has to inspect the ride and do an investigation. I personally don't think it will be opened anytime soon at least for a month maybe longer. That is okay you want to make sure the ride is safe before you ride it again. It sounds like it was a software problem and that needs to be fixed so it does not happen again.
JenJen