Fix fuer encode: ints richtig kodieren.

ints haben irrtuemlich nach Konversion in strings auch
ein $ vorangestellt bekommen, was dann einen fehlerhaften
Zahlenwert erzeugt hat.

Change-Id: I747f21f285a67939d07b9b61755d000030897ced
diff --git a/secure/inetd.c b/secure/inetd.c
index 31a63de..9f2c02d 100644
--- a/secure/inetd.c
+++ b/secure/inetd.c
@@ -570,15 +570,18 @@
     // konvertiert werden...
     if (objectp(arg))
         arg = object_name(arg);
-    else if (!stringp(arg))
+    else if (intp(arg))
         arg = to_string(arg);
-
-    // faengt es mit $ an oder ist es ne zahl (als string, d.h. enthaelt nur
-    // 0-9)? Dann muss nen $ davor.
-    // TODO: Mhmm. Oder vielleicht doch per RegExp?
-    if ( (arg[0] == '$') || ((arg & "0123456789") == arg))
+    else 
+    {
+      if (!stringp(arg))
+        arg = to_string(arg);
+      // faengt es mit $ an oder ist es ne zahl (als string, d.h. enthaelt nur
+      // 0-9)? Dann muss nen $ davor.
+      // TODO: Mhmm. Oder vielleicht doch per RegExp?
+      if ( (arg[0] == '$') || ((arg & "0123456789") == arg))
         arg = '$' + arg;
-
+    }
     return arg;
 }