set_stdin_file_path


Description:

public void set_stdin_file_path (string path)