set_default_policy

Description:

public static void set_default_policy (Policy policy)

Sets default policy (i.e. default policy for user-created contexts). The policy must be concrete and should not be blocking.

Parameters:

policy

New default policy.