[Piglit] [PATCH] html: escape '#' in addition to other charcters

[Emil Velikov]

On 03/09/14 07:14, Dylan Baker wrote:
> CC: Emil Velikov <emil.l.velikov at gmail.com>
> Signed-off-by: Dylan Baker <dylanx.c.baker at intel.com>
Works like a charm, thank you :)

Tested-by: Emil Velikov <emil.l.velikov at gmail.com>
> ---
>  framework/summary.py | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/framework/summary.py b/framework/summary.py
> index 332aa40..d1b737b 100644
> --- a/framework/summary.py
> +++ b/framework/summary.py
> @@ -44,7 +44,7 @@ __all__ = [
>  
>  def escape_filename(key):
>      """Avoid reserved characters in filenames."""
> -    return re.sub(r'[<>:"|?*]', '_', key)
> +    return re.sub(r'[<>:"|?*#]', '_', key)
>  
>  
>  def normalize_href(href):
>