[Devel] [GIT] OpenBioMaps GIT repository, branch master_3.0 updated: obm_search slightly improved

[git at vocs.unideb.hu]

    The project "OpenBioMaps GIT repository":

    The branch, master_3.0 has been updated
       via  53d3504303db9bdea1203cf450e91c8f9484b201 (commit)
       via  6da633f42eafc05e941202e226dc85df954eab47 (commit)
       via  5fc46e32ec623cef8f3c839865e1fcc06f8f33ab (commit)
       via  2e1d539571dd1f4e1234de7c5581c15c48daefcf (commit)
       via  c4b93eddf328bc7d78053f0fae38825e99ad2fc6 (commit)
       via  ea5d42a35e16a2785612151bbf0f2becc06815f5 (commit)
      from  270c1cfc170ec9de7a1755102b3571d0a70295d2 (commit)


- Log -----------------------------------------------------------------
commit 53d3504303db9bdea1203cf450e91c8f9484b201
Author: Bán Miklós <banm at vocs.unideb.hu>
Date:   Thu Dec 20 13:13:33 2018 +0100

obm_search slightly improved

commit 6da633f42eafc05e941202e226dc85df954eab47
Author: Bán Miklós <banm at vocs.unideb.hu>
Date:   Thu Dec 20 13:11:10 2018 +0100

no. of results returns instead of binary response from results_query

commit 5fc46e32ec623cef8f3c839865e1fcc06f8f33ab
Author: Bán Miklós <banm at vocs.unideb.hu>
Date:   Thu Dec 20 13:10:00 2018 +0100

frenquency counting disabled due to its heavy load...

commit 2e1d539571dd1f4e1234de7c5581c15c48daefcf
Author: Bán Miklós <banm at vocs.unideb.hu>
Date:   Thu Dec 20 13:05:50 2018 +0100

module updates: fault tolearnce improved

commit c4b93eddf328bc7d78053f0fae38825e99ad2fc6
Author: Bán Miklós <banm at vocs.unideb.hu>
Date:   Thu Dec 20 13:04:04 2018 +0100

auth debugging options for docker build

commit ea5d42a35e16a2785612151bbf0f2becc06815f5
Author: Bán Miklós <banm at vocs.unideb.hu>
Date:   Thu Dec 20 13:03:27 2018 +0100

supervisor improvements

-----------------------------------------------------------------------

Summary of changes:
 resources/js/functions.js                          |  5 +--
 resources/libs/common_pg_funcs.php                 | 18 ++++++---
 resources/libs/mod_project.php                     |  6 ++-
 resources/libs/modules/box_filter.php              | 39 ++++++++++++------
 resources/libs/query_builder.php                   |  7 +++-
 resources/libs/results_query.php                   |  2 +-
 resources/oauth/server.php                         | 26 ++++++++++++
 .../var/www/html/biomaps/supervisor.php            |  9 +++--
 supervisor.md                                      | 47 ++++++++++++++++++++++
 supervisor.php                                     |  9 +++--
 10 files changed, 135 insertions(+), 33 deletions(-)

-- 
OpenBioMaps GIT repository