jdrive icon indicating copy to clipboard operation
jdrive copied to clipboard

Published 20 hours ago • verified publisher icon dzavalishin

autocloseable pushUser()

Open dzavalishin opened this issue 3 years ago • 2 comments

For temporarily changing user as in

		old_player = Global.gs._current_player;
		Global.gs._current_player = v.owner;
...
		Global.gs._current_player = old_player;

dzavalishin avatar Aug 26 '21 18:08 dzavalishin

written, unused - PushPlayer

dzavalishin avatar Aug 26 '21 23:08 dzavalishin

turned off for a while - catches exceptions, harder to debug code inside

dzavalishin avatar Sep 06 '21 11:09 dzavalishin