This is the copy script from the previous chapter:
Parameter Text source_file;
Parameter Text result_file;
Copy
src (source_file)
dest (result_file);
We assume that the source file does exist and that Server is allowed to write the result file (otherwise we would have to write some sort of error handling and or use the timeout parameter of the copy command...)
Save the script and close the Script Editor.