diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2017-09-29 02:10:55 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2017-09-29 06:03:38 +0200 |
| commit | 35e8acdb2d49f279862a99ea129a9bb260b0bc4a (patch) | |
| tree | 9dc7ac9e5f2bd03ce5c21175d0d1e62cade6513f /examples/allnoconfig.py | |
| parent | f56ebf74f470431b0d262d2ce6f95d442b58f2f9 (diff) | |
Only invalidate defined symbols
Think I had it in the back of my head somewhere that not invalidating
undefined symbols could break some obscure cases, but turns out it's
perfectly safe: Nothing can change the value of an undefined symbol.
They always get their name as their value.
There's no need to unset user values on them either, because
set_user_value() already refuses to to set one on them.
Lets us get rid of the Python 2/3 compatibility hack and instead iterate
over a plain list of defined symbols.
Diffstat (limited to 'examples/allnoconfig.py')
0 files changed, 0 insertions, 0 deletions
