partkeepr

commit 0f39e79b2bb400844ac406f14afcb60d9ea2da2c
parent 94ec2db67ca59a83e1d46f809b18c65ee46aaced
Author: Felicitus <felicitus@felicitus.org>
Date:   Wed,  4 Jan 2012 21:06:33 +0100

Handle "numeric" values as integer and put them into the configuration file

Diffstat:
M
src/backend/de/RaumZeitLabor/PartKeepr/Util/Configuration.php
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/src/backend/de/RaumZeitLabor/PartKeepr/Util/Configuration.php b/src/backend/de/RaumZeitLabor/PartKeepr/Util/Configuration.php
@@ -65,6 +65,7 @@ EOD;
 					$config .= 'Configuration::setOption("'.$option.'", '.($value === true ? 'true' : 'false').');'."\n";
 					break;
 				case "integer":
+				case "numeric":
 					$config .= 'Configuration::setOption("'.$option.'", '.intval($value).');'."\n";
 					break;
 				case "float":