Class LocalResourceHTTPServer

    • Field Detail

      • my_port

        private int my_port
      • resource_id_next

        private int resource_id_next
      • published_resources

        private java.util.Map published_resources
    • Constructor Detail

      • LocalResourceHTTPServer

        public LocalResourceHTTPServer​(PluginInterface _plugin_interface,
                                       LoggerChannel _logger)
                                throws java.lang.Exception
        Throws:
        java.lang.Exception
    • Method Detail

      • publishResource

        public java.net.URL publishResource​(java.io.File resource)
                                     throws java.lang.Exception
        Throws:
        java.lang.Exception