Minor change allows the HTML call graph builder to analyze charsets different from traditional ones. Before, it would throw an IOExcpeption.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3537 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
da00944765
commit
01272cd6e9
|
@ -46,7 +46,7 @@ public class Generator {
|
|||
}
|
||||
|
||||
public Generator() {
|
||||
this(false, defaultCallbackFactory);
|
||||
this(true, defaultCallbackFactory);
|
||||
}
|
||||
|
||||
private InputStreamReader getStream(String url) throws IOException {
|
||||
|
|
Loading…
Reference in New Issue