chore: renamed no_mangle feature to dynamic_plugin

eclipse-zenoh / zenoh-plugin-webserver

A zenoh plug-in implementing an HTTP server mapping URLs to zenoh paths. This plugin can be used to set-up a Web server where the resources are retrieved from geo-distributed zenoh storages, each leveraging various backends (file system, database, memory...)

Other

14 stars 12 forks source link

chore: renamed no_mangle feature to dynamic_plugin #75

Closed gabrik closed 4 months ago

gabrik commented 4 months ago

As suggested by @milyin this PR renames the no_mangle feature to dynamic_plugin which is easier to understand.

Sister of: https://github.com/eclipse-zenoh/zenoh/pull/1010