That is so sad how awful
your friend must be so upset,
She should NOT get another cat for a period of time,
The virus may persist in the environment for several weeks, but is easily killed with common household disinfectants. However, consider that cats with clear symptoms of FIP infection are rarely shedding virus.
This is a very informative site regarding FIP.
Feline Infectious Peritonitis (FIP)