(15 . 7)(15 . 6)
13 import os
14 import threading
15 import re
16 import shlex
17 from datetime import datetime
18 from urlparse import urljoin
19 from flask import Flask, request, session, url_for, redirect, Response, \
(475 . 7)(474 . 7)
21 # Forbid query that is too short:
22 if len(query) >= Min_Query_Length:
23 # Get the search tokens to use:
24 tokens = shlex.split(query)
25 tokens = query.split()
26 tokens_standard = []
27 from_users = []
28