diff --git a/webfrontend/pgm3/include/userdefs.php b/webfrontend/pgm3/include/userdefs.php index 4f878c209..7e5042766 100755 --- a/webfrontend/pgm3/include/userdefs.php +++ b/webfrontend/pgm3/include/userdefs.php @@ -171,8 +171,9 @@ if ($gnuplottype=='piri' or $gnuplottype=='fs20') $gnuplotpng=$drawuserdef.".sm.png"; $messageA=<<