Declaration:
void TerminateScript(char file_name[]);
Description
Stops execution of the specified script file and unloads it from the memory, if possible. The file name parameter is the script file name without path and extension.