gdb_server: correctly report flash sector sizes
[fw/openocd] / src / server / httpd / httpd.tcl
index 5b012681a6061c434d3d3d92e54faaaa9cfca2d9..dfa9e335cbb5e13117e0ff9d1de1c881b1c8029e 100644 (file)
@@ -94,11 +94,6 @@ proc lunion {a b} {
 }
  
 
-# encode text
-proc encode {a} {
-       return [string map {\n <br/> { } {&nbsp;} \t {&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} > &gt; < &lt; / &#47;} $a]
-}
-
 proc first_flash_base {} {
        set t [lindex 0 [ocd_flash_banks]]
        return $t(base)