Fix integer padding

diff --git a/src/dom/io/domstream.cpp b/src/dom/io/domstream.cpp
index 6c315990dcb927c1693e765aaaec6833593f0ef2..c6234d462e652a7b46384af026d203777c098b03 100644 (file)
--- a/src/dom/io/domstream.cpp
+++ b/src/dom/io/domstream.cpp
@@ -95,6 +95,13 @@ static int dprintInt(Writer &outs,
         buf.insert(buf.begin(), '0');
         }
 
+    if (buf.size() == 0)
+        buf = "0";
+
+    int pad = width - (int)buf.size();
+    for (int i=0 ; i<pad ; i++)
+        buf.insert(buf.begin(), '0');
+
     //### Output the result
     for (unsigned int i=0 ; i<buf.size() ; i++)
         {