The crisis is over. Something must have fixed it, because they rebooted the server again over lunch hour, and filepro started working properly. Thanks to everybody who responded! Mike Schwartz