tree 99a8170b763b48a66546d2f46d18d8272d7dbb2c
parent c803068fe61d4112117e27d02c1ce4288256888e
author Zesstra <zesstra@zesstra.de> 1598901064 +0200
committer Zesstra <zesstra@zesstra.de> 1598901064 +0200

process_string(): Fehler nur bei @@ im string

Wennn process_string nicht erlaubt ist, aber das
Argument ein string ist und kein @@ enthaelt, kann
das Argument ohne Fehler einfach zurueckgegeben werden,
d.h. ein Fehler wird nur ausgeloest, wenn auch ein
@@..@@ zu verarbeiten ist.

Change-Id: I276c97a2975a3d1d75bceca3c5112d12b9f98758