What was the name of the virus in question? Was avast up to date?
I would appreciate any and all info you could provide about the virus in question. Also did you send a sample to avast at virus@asw.cz ?