hi,
window.location.href = "misc.php?action=menu";
Problem ist jetzt das sich die Seite irgendwie nicht neu lädt.
du sagst ja auch nicht explizit reload(), sondern änderst lediglich den wert von location.href - wenn also die seite misc.php?action=menu schon im cache ist, wird sie wohl höchstwahrscheinlich von dort genommen und unverändert wieder angezeigt.
gruss,
wahsaga