Cast added due to API changes in PHP 5.3.1

[mailer.git] / inc / functions.php

diff --git a/inc/functions.php b/inc/functions.php
index 9a1f4e1cd983c53720e2a7e750e64d7be57ac55e..b21b98e90a754a042def35c4ba88311c7c1348e9 100644 (file)
--- a/inc/functions.php
+++ b/inc/functions.php
@@ -134,7 +134,7 @@ function sendHttpHeaders () {
        $now = gmdate('D, d M Y H:i:s') . ' GMT';
 
        // Send HTTP header
-       sendHeader('HTTP/1.1 200');
+       sendHeader('HTTP/1.1 200 OK');
 
        // General headers for no caching
        sendHeader('Expires: ' . $now); // RFC2616 - Section 14.21
@@ -785,6 +785,9 @@ function translatePoolType ($type) {
 
 // Translates the american decimal dot into a german comma
 function translateComma ($dotted, $cut = true, $max = '0') {
+       // First, cast all to double, due to PHP changes
+       $dotted = (double) $dotted;
+
        // Default is 3 you can change this in admin area "Misc -> Misc Options"
        if (!isConfigEntrySet('max_comma')) setConfigEntry('max_comma', 3);