j
k
j a
j l
Michael Best writes:
The only real difference from the previous patch is: if bad_id(id) != None: becomes: if bad_id(id) is not None: The two should be functionally equivalent, with the second variant a bit faster...
The only real difference from the previous patch is:
if bad_id(id) != None:
becomes:
if bad_id(id) is not None: The two should be functionally equivalent, with the second variant a bit faster...
Dieter
Back to the thread
Back to the list
