set_default_task_env


Description:

public static void set_default_task_env (TaskEnv task_env)

Sets the default task environment.

Parameters:

task_env

a task environment