Kanzi  3.9.6
Java API
ResourceManager.ReloadProtocolHandler Interface Reference

ReloadProtocolHandler allows implementing custom resource reloading for a specific protocol. More...

Public Member Functions

void handle (ResourceManager resourceManager, String url, String protocol, String hostname, String path, Resource resource)
 Takes a resource URL and reloads the provided resource object. More...
 

Detailed Description

ReloadProtocolHandler allows implementing custom resource reloading for a specific protocol.

See ResourceManager#registerProtocolHandler.

Member Function Documentation

◆ handle()

void handle ( ResourceManager  resourceManager,
String  url,
String  protocol,
String  hostname,
String  path,
Resource  resource 
)

Takes a resource URL and reloads the provided resource object.

Parameters
resourceManagerThe resource manager.
urlThe full URL of the resource in the form of "protocol://hostname/path".
protocolExtracted protocol part of the resource URL.
hostnameExtracted hostname part of the resource URL.
pathExtracted path part of the resource URL.
resourceThe resource that needs to be reloaded.