tree 056e2543c2aafe3ab1c901a5a738a3643bdc2899
parent 5c0c4097b443b8f6b5296a5c67e9a2d0e951cd25
author Zesstra <zesstra@zesstra.de> 1631136797 +0200
committer Zesstra <zesstra@zesstra.de> 1751115128 +0200

SetProp(): neues Argument drop_priv

SetProp() wird durch AddToProp() intern gerufen, aber wenn dessen
Aufruf nicht intern ist, darf SetProp ihn auch nicht intern behandeln.
Daher muss AddToProp() durchreichen, ob es von extern gerufen wurde.
Das neue Argument hat als default extern_call().

Aber Achtung:
Es ist verfuehrerisch, das 'drop_priv||extern_call()' durch 'drop_priv'
zu ersetzen, weil extern_call() das default-argument fuer <drop_priv>
ist. Das ist keine gute Idee, weil <drop_priv> unter der Kontrolle des
Aufrufers ist und dieser 0 uebergeben kann. Sprich: wenn es 0 ist,
muessen wir dennoch selber pruefen. Wir glauben aber immer, wenn es 1
ist und der Aufrufer Privilegien abgeben will.

Change-Id: Ia2bd237f2faab4a3319a0cb573de72911cb961bd