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. */
| 8028 | * it, and owned removal is the convention every other uninstall path here |
| 8029 | * follows. */ |
| 8030 | static void uninstall_generated_client_extension(const char *label, const char *path, |
| 8031 | bool dry_run) { |
| 8032 | if (!dry_run && cbm_file_exists(path) && |
| 8033 | cbm_text_remove_managed_block(path, CBM_ADAPTER_MARKER_START, CBM_ADAPTER_MARKER_END) != |
| 8034 | 0) { |
| 8035 | record_agent_config_error(true, label, "extension_uninstall", path); |
| 8036 | return; |
| 8037 | } |
| 8038 | printf(" extension: removed managed block\n"); |
| 8039 | } |
| 8040 | |
| 8041 | static void install_pi_durable_context(const char *home, const char *binary_path, bool force, |
| 8042 | bool dry_run) { |
no test coverage detected