MariaDB Server

Aug 18, 2018

Minor fixes and updates

! Database import / export and data directory backup / restore
! From now on notification while server is running cannot be disabled (for better stability and compatibility with Android P)
! Network fallback - now you can choose what to do when main network address becomes unavailable (switch to other address, stop server, ...)
! Log settings - now you can choose how to record app logs, where to save them and how long keep them
Redesign of forms