Remove only OUR marked block, never the file: a user's own module may share * it, and owned removal is the convention every other uninstall path here * follows. */
| 8171 | * it, and owned removal is the convention every other uninstall path here |
| 8172 | * follows. */ |
| 8173 | static void uninstall_generated_client_extension(const char *label, const char *path, |
| 8174 | bool dry_run) { |
| 8175 | if (!dry_run && cbm_file_exists(path) && |
| 8176 | cbm_text_remove_managed_block(path, CBM_ADAPTER_MARKER_START, CBM_ADAPTER_MARKER_END) != |
| 8177 | 0) { |
| 8178 | record_agent_config_error(true, label, "extension_uninstall", path); |
| 8179 | return; |
| 8180 | } |
| 8181 | printf(" extension: removed managed block\n"); |
| 8182 | } |
| 8183 | |
| 8184 | static void install_pi_durable_context(const char *home, const char *binary_path, bool force, |
| 8185 | bool dry_run) { |
no test coverage detected