detect the ubuntu version based on /etc/os-release

Uwe Merbeth

2016-05-09 f5daecadf5846ff0b2d512e6a1a47f17342fe02b

 interface/lib/classes/listform_actions.inc.php

@@ -190,6 +190,7 @@
      return $rec;
   }

   /* TODO: maybe rewrite SQL */
   public function getQueryString($no_limit = false) {
      global $app;
      $sql_where = '';