string get_save_file_name( string file, object who );
This master apply is called by ed() when a player disconnects while in the editor and editing a file. This function should return an alternate file name for the file to be saved, to avoid overwriting the original.
Note: This apply used to be named get_ed_buffer_save_file_name().
See also: ed