Hi Henrik, > I've gotten the impression that ext names can not be relied upon to always > be the same for any given object, but what kind of operations will cause > them to change?
Can you describe where you observed such an effect? External symbol names are absolutely constant, there is no way to change them, as the name _is_ the symbol's address in the DB. Are you sure you did not accidentally create new objects? Cheers, - Alex -- UNSUBSCRIBE: mailto:[email protected]?subject=unsubscribe
