method private update_dir dir () = let f () = ignore (cvs#cvs_update_dir dir); Cam_view.refresh_ressource_views dir in handle_error f () ()