114 {
115
117 PluginDeveloperSync developer_sync = PluginDeveloperSync.Cast(
GetPlugin(PluginDeveloperSync));
118
119
121 {
122 Param1<bool> params = new Param1<bool>(state);
123 if (player)
124 {
125 player.RPCSingleParam(
ERPCs.DEV_AGENTS_UPDATE, params,
true);
126 SetRPCSent();
127 }
128 }
129
130 else
131 {
132 if (developer_sync)
133 {
134 developer_sync.EnableUpdate(state,
ERPCs.DEV_AGENTS_UPDATE, player);
135 }
136 }
137 }
PluginBase GetPlugin(typename plugin_type)