Add: Check if user exist.

2016-06-14 16:16:09 +08:00 · 2016-06-14 16:16:09 +08:00 · 4261e33836
commit 4261e33836
parent 8eb00284f0
1 changed files with 40 additions and 37 deletions
--- a/plugins/github.php
+++ b/plugins/github.php
@ -47,5 +47,8 @@ function plugin_github_check($title, $check)
    }
 }

-
+if (!empty($user['login'])) {
    $BOT->msg($plugin_sendto, $msg);
+}else{
+    $BOT->msg($plugin_sendto, 'User Not Found.');
+}