diff --git a/lib/modules/Stdio.pmod b/lib/modules/Stdio.pmod index 5f07e008886ee0756349c928213e9c7ddd94c01d..8e3317accb43d2e27f62eea809e3b1b68920d37c 100644 --- a/lib/modules/Stdio.pmod +++ b/lib/modules/Stdio.pmod @@ -155,6 +155,15 @@ string read_file(string filename,void|int start,void|int len) f=FILE(); if(!f->open(filename,"r")) return 0; + // Disallow devices and directories. + array st; + if (f->stat && (st = f->stat()) && (st[1] < 0)) { + throw(({ sprintf("Stdio.read_file(): File \"%s\" is not a regular file!\n", + filename), + backtrace() + })); + } + switch(query_num_arg()) { case 1: @@ -187,6 +196,15 @@ string read_bytes(string filename,void|int start,void|int len) if(!f->open(filename,"r")) return 0; + // Disallow devices and directories. + array st; + if (f->stat && (st = f->stat()) && (st[1] < 0)) { + throw(({sprintf("Stdio.read_bytes(): File \"%s\" is not a regular file!\n", + filename), + backtrace() + })); + } + switch(query_num_arg()) { case 1: