oops, sorry, i had incomplete syntax.
<?php if(isset($_POST["DB_LX"])) {
/* Workaround to support \ characters */
str_replace("\\","\\\\",$_POST["DB_LX"]);
} ?>
should be:
<?php if(isset($_POST["DB_LX"])) {
/* Workaround to support \ characters */
$_POST["DB_LX"] = str_replace("\\","\\\\",$_POST["DB_LX"]);
} ?>