Extracted from Pike v8.0 release 358 as of 2016-11-23.
   

Method GLUE.remove_reinit_callback()


Method remove_reinit_callback

void remove_reinit_callback(function(void:void) f)

Description

Removes a reinitialization callback.

See also

add_reinit_callback