remove unused import
Fix Unicode issue for resource name sorting
Fix Unicode issue for resource name sorting
Fix Unicode issue for resource name sorting
fix: update digest only twice a day, not every minute of every 12th hour
Merge branch 'master' of https://github.com/olihamon/META-SHARE into various-improvements
add Unidecode library in order to make olihamon’s changes work
remove superfluous (re-)imports
Merge pull request #713 from cspurk/various-improvements

(1) improved sorting by resource name; (2) fix: update digest only twice a day; (3) various minor improvements
promote Tilde node to a Managed Node in the portal and add other nodes
remove obsolete “prototype” text from the portal page
Merge pull request #717 from cspurk/various-improvements

update the META-SHARE portal page
fix: don’t block forever in case of connection problems

We set a graceful default socket timeout of 30 seconds so that none of
our connections can block forever.
thread-safety bug fix: use a single lock instead of one per thread
add and activate preliminary versions of the CLARIN EULA templates
Merge pull request #718 from cspurk/various-improvements

(1) don’t block forever in case of connection problems; (2) thread-safety bug fix: use a single lock instead of one per thread; (3) add and activate preliminary versions of the CLARIN EULA templates
Merge github.com:metashare/META-SHARE