is this correct? if you use REPL, the rpc manager is non-null and the distribution manager is null, right?