| SYNOPSIS |
| string get_ed_buffer_save_object_name(string edited_file) |
| |
| DESCRIPTION |
| This function is called when an interactive user object is |
| destructed or looses connection through remove_interactive() |
| while editing with ed() the file edite_file (emergency save). |
| this_player() is set to the object that loosing connection. |
| The function should return a file name for the emergency save |
| file. |
| |
| EXAMPLE |
| string get_ed_buffer_save_object_name(string file) { |
| return "/players/"+getuid(this_player())+"/.dead_ed_files/" |
| + explode(file, "/")[<1]; |
| } |
| |
| This breaks up file into its components and stores it in the |
| user's emergency save directory under the file's basename. |
| |
| SEE ALSO |
| ed(E), destruct(E), remove_interactive(E), valid_write(M) |