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
diff --git a/sys/thing/properties.h b/sys/thing/properties.h
index 6e26337..2ccf20e 100644
--- a/sys/thing/properties.h
+++ b/sys/thing/properties.h
@@ -47,7 +47,7 @@
public mixed Query(string name, int Type = F_VALUE);
// filtered property access
-public mixed SetProp(string name, mixed Value);
+public mixed SetProp(string name, mixed Value, int drop_priv = extern_call());
public mixed QueryProp(string name);
// global property handling