David Sommerseth wrote: > 1) Adding a new configure option which "unpush" chosen elements > 2) Add a new immutable option list for PUSH_REPLY > 3) Add a flag to the PUSH_REPLY list indicating if it is immutable .. > Does anyone see another solution which is better? Or which > suggestion do you consider preferable?
The problem in this particular case seems to be that push-reset is removing options that were added to the push list *implicitly* by other configuration directives. Would it make sense to simply treat all implicitly added elements as immutable? As for how to make elements immutable I prefer option 3, adding a flag to the existing data structure. //Peter
