git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 2879f0a4 authored by Evan Prodromou's avatar Evan Prodromou

Just let a UserNoProfileException pass.

parent 0fec1872
......@@ -44,7 +44,12 @@ class PluginQueueHandler extends QueueHandler
function handle($notice)
{
Event::handle('HandleQueuedNotice', array(&$notice));
try {
Event::handle('HandleQueuedNotice', array(&$notice));
} catch (UserNoProfileException $unp) {
// We can't do anything about this, so just skip
return true;
}
return true;
}
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment