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. */
| 7978 | * it, and owned removal is the convention every other uninstall path here |
| 7979 | * follows. */ |
| 7980 | static void uninstall_generated_client_extension(const char *label, const char *path, |
| 7981 | bool dry_run) { |
| 7982 | if (!dry_run && cbm_file_exists(path) && |
| 7983 | cbm_text_remove_managed_block(path, CBM_ADAPTER_MARKER_START, CBM_ADAPTER_MARKER_END) != |
| 7984 | 0) { |
| 7985 | record_agent_config_error(true, label, "extension_uninstall", path); |
| 7986 | return; |
| 7987 | } |
| 7988 | printf(" extension: removed managed block\n"); |
| 7989 | } |
| 7990 | |
| 7991 | static void install_pi_durable_context(const char *home, const char *binary_path, bool force, |
| 7992 | bool dry_run) { |
no test coverage detected