/* Copyright (c) Oracle Corporation 1996. All Rights Reserved */ /***************************************************************************** NAME win32.pin - V3 post install script for Windows 32-bit products. DESCRIPTION This script performs post install functionality. CREATED Siddhartha Agarwal, July 11, 1996 MODIFIED DD-MMM-YY Reason vrajkuma 01/13/97 Check the shared_products_in_use variable for empty, else generate the signal about un-deinstalled products *****************************************************************************/ { ui_action(""); ui_product(""); { ui_graphics(); }['default: continue();] if(user_action == 'deinstall) { if(not(empty(shared_products_in_use))) { shared_products_imploded = list(); while(not(empty(shared_products_in_use))) { shared_p_and_g = first(shared_products_in_use); shared_p = first(shared_p_and_g); shared_g = implode(first(rest(shared_p_and_g)), ", "); add(shared_products_imploded, "%shared_p% : %shared_g%"); shared_products_in_use = rest(shared_products_in_use); } shared_product_string = implode(shared_products_imploded, "%carriage_return%"); signal('Shared_Product_In_Use, instantiate(notify_groups_signal)); } }['UNBOUND_VARIABLE: continue(); ] /* just in case */ }