Ejemplo n.º 1
0
/**
 * Marks a given classpath as invalid, i.E. modified - which causes that all cached classes are
 * removed from the cache.
 *
 * Note, that this does not mean they are unloaded. Old versions might still be in use if they
 * are referenced from elsewhere. But new instantiations will use the fresh classes
 *
 * Usage of method is useless if the Classloader is not Dynamic
 */
function java_invalidate_library_path($cp)
{
    $DC = new JavaClass('php.java.bridge.DynamicClassLoader');
    $DC->invalidate($cp);
}