env property

ExecutionEnv env
final

The workspace the servers operate on.

Implementation

final ExecutionEnv env;