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. */
| 8386 | * it, and owned removal is the convention every other uninstall path here |
| 8387 | * follows. */ |
| 8388 | static void uninstall_generated_client_extension(const char *label, const char *path, |
| 8389 | bool dry_run) { |
| 8390 | if (!dry_run && cbm_file_exists(path) && |
| 8391 | cbm_text_remove_managed_block(path, CBM_ADAPTER_MARKER_START, CBM_ADAPTER_MARKER_END) != |
| 8392 | 0) { |
| 8393 | record_agent_config_error(true, label, "extension_uninstall", path); |
| 8394 | return; |
| 8395 | } |
| 8396 | printf(" extension: removed managed block\n"); |
| 8397 | } |
| 8398 | |
| 8399 | static void install_pi_durable_context(const char *home, const char *binary_path, bool force, |
| 8400 | bool dry_run) { |
no test coverage detected