private static void downloadUpdateFile(object state) { try { IsChecking = true; string url = "https://raw.githubusercontent.com/dipu-bd/UVA-Arena/master/VERSION"; WebClient wc = new WebClient(); byte[] raw = wc.DownloadData(url); string data = System.Text.Encoding.UTF8.GetString(raw); UpdateMessage um = JsonConvert.DeserializeObject <UpdateMessage>(data); //this applications functions if (um != null) { Interactivity.UpdateFound(um); } } catch (Exception ex) { Logger.Add(ex.Message, "UpdateCheck|downloadUpdateFile()"); } finally { IsChecking = false; } }
private void customWebBrowser1_DocumentCompleted(object sender, WebBrowserDocumentCompletedEventArgs e) { ProcessPage(); try { //check if a submission occured if (customWebBrowser1.Url == null) { return; } string url = customWebBrowser1.Url.ToString(); string msg = "mosmsg=Submission+received+with+ID+"; if (url.Contains(msg)) { url = url.Substring(url.IndexOf(msg) + msg.Length); if (int.Parse(url) > 10) { Interactivity.ShowJudgeStatus(); this.Hide(); } } } catch { } }
private void DownloadCompleted(Internet.DownloadTask task) { try { if (task.Status != Internet.ProgressStatus.Completed) { throw task.Error; } RegistryAccess.DefaultUsername = username1.Text; this.DialogResult = System.Windows.Forms.DialogResult.OK; this.Close(); Interactivity.DefaultUsernameChanged(); } catch (Exception ex) { if (ex == null) { ex = new Exception("Canceled"); } Status.Text = string.Format("[Error: {0}]", ex.Message); } finally { username1.Enabled = true; set_button1.Enabled = true; username1.Focus(); } }
public static void RunLoadAsync(object background) { if (!IsReady) { return; } if ((bool)background) { bool back = System.Threading.ThreadPool.QueueUserWorkItem(RunLoadAsync, false); if (back) { return; } } try { IsReady = false; //initialize global values problemList = new List <ProblemInfo>(); problemId = new SortedDictionary <long, long>(); problemNum = new SortedDictionary <long, ProblemInfo>(); categoryRoot = new CategoryNode("Root", "All Categories"); //get object data from json data string text = File.ReadAllText(LocalDirectory.GetProblemInfoFile()); var data = JsonConvert.DeserializeObject <List <List <object> > >(text); if (data == null || data.Count == 0) { throw new NullReferenceException("Problem database was empty"); } //load all lists from object data LoadList(data); LoadOthers(); data.Clear(); IsAvailable = true; } catch (Exception ex) { Logger.Add(ex.Message, "Problem Database|RunLoadAsync()"); if (!IsAvailable) { Internet.Downloader.DownloadProblemDatabase(); } } //load categories LoadCategories(); //load default user LoadDefaultUser(); IsReady = true; Interactivity.CategoryDataUpdated(); Interactivity.ProblemDatabaseUpdated(); }
/// <summary> /// Set the userid of a username /// </summary> /// <param name="name">Username</param> /// <param name="uid">Userid</param> public static void SetUserid(string name, string uid) { SetValue(name, uid, "UserID", RegistryValueKind.String); if (!LocalDatabase.usernames.ContainsKey(name)) { LocalDatabase.usernames.Add(name, uid); } Interactivity.UserNameListChanged(); }
public void ClearStatus(object last) { if (Status1.Text.CompareTo(last) == 0) { Interactivity.SetStatus(); Interactivity.SetProgress(); } TaskQueue.AddTask(ClearStatus, Status1.Text, 3000); }
/// <summary> /// Delete a username from registry entry /// </summary> /// <param name="name">Username to delete</param> public static void DeleteUserid(string name) { if (!LocalDatabase.usernames.ContainsKey(name)) { return; } LocalDatabase.usernames.Remove(name); RegistryKey key = DEFAULT.CreateSubKey("UserID"); key.DeleteValue(name, false); Interactivity.UserNameListChanged(); }
static void Main() { //enable application styles Application.EnableVisualStyles(); Application.SetCompatibleTextRenderingDefault(false); //add header to log file string dat = Environment.NewLine; for (int i = 0; i < 80; ++i) { dat += '*'; } dat += Environment.NewLine; System.IO.File.AppendAllText(LocalDirectory.GetLogFile(), dat); //load user-names LocalDatabase.usernames = RegistryAccess.GetAllUsers(); if (string.IsNullOrEmpty(RegistryAccess.DefaultUsername) || Properties.Settings.Default.AskForUsernameEverytime) { UsernameForm uf = new UsernameForm(); Application.Run(uf); } //task queue TaskQueue.StartTimer(); try { //launch application Interactivity.mainForm = new MainForm(); Application.Run(Interactivity.mainForm); } catch (Exception ex) { Logger.Add("Error in main form => ", ex.Message + " => " + ex.StackTrace); Application.Exit(); } //end of application works Interactivity.CloseAllOpenedForms(); Properties.Settings.Default.Save(); UVA_Arena.Elements.CodeCompiler.ForceStopTask(); }
/// <summary> /// Set the userid of a username /// </summary> /// <param name="name">Username</param> /// <param name="uid">Userid</param> public static void AddUserid(string name, string uid) { if (string.IsNullOrEmpty(name)) { return; } if (string.IsNullOrEmpty(uid) || uid == "-") { return; } SetValue(name, uid, "UserID", RegistryValueKind.String); if (!LocalDatabase.usernames.ContainsKey(name)) { LocalDatabase.usernames.Add(name, uid); } Interactivity.UserNameListChanged(); }
public void SetFormProperties() { string user = RegistryAccess.DefaultUsername; if (LocalDatabase.ContainsUser(user)) { this.Text = string.Format(this.Tag.ToString(), user, LocalDatabase.GetUserid(user)); } else { string msg = "Looks like you didn't set a default user-name." + Environment.NewLine; msg += "It is extremely important to set a default user-name to enable many features." + Environment.NewLine; msg += "Press OK to set it now. Or, you can set it later from the menu bar options."; if (MessageBox.Show(msg, Application.ProductName, MessageBoxButtons.OKCancel) == System.Windows.Forms.DialogResult.OK) { Interactivity.ShowUserNameForm(); } } }
private void licenceToolStripMenuItem_Click(object sender, EventArgs e) { Interactivity.ShowHelpAbout(); }
private void changePrecodesToolStripMenuItem_Click(object sender, EventArgs e) { Interactivity.ShowSettings(3); }
private void setUpCompilerToolStripMenuItem_Click(object sender, EventArgs e) { Interactivity.ShowSettings(2); }
private void editorSettingToolStripMenuItem_Click(object sender, EventArgs e) { Interactivity.ShowSettings(1); }
private void username_button1_Click(object sender, EventArgs e) { Interactivity.ShowUserNameForm(); }
private void loggerToolStripMenuItem_Click(object sender, EventArgs e) { Interactivity.ShowLogger(); }
private void submitFormToolStripMenuItem_Click(object sender, EventArgs e) { Interactivity.SubmitCode(0); }
private void settingsButton_Click(object sender, EventArgs e) { customTabControl1.Focus(); Interactivity.ShowSettings(); }
private void loggerButton_Click(object sender, EventArgs e) { customTabControl1.Focus(); Interactivity.ShowLogger(); }
private void helpButton_Click(object sender, EventArgs e) { customTabControl1.Focus(); Interactivity.ShowHelpAbout(); }
private void descriptionDownloaderToolStripMenuItem_Click(object sender, EventArgs e) { customTabControl1.SelectedTab = problemTab; Interactivity.ShowDownloadAllForm(); }
private void setDefaultUserToolStripMenuItem_Click(object sender, EventArgs e) { Interactivity.ShowUserNameForm(); }
private void downloadAll_Click(object sender, EventArgs e) { Interactivity.ShowDownloadAllForm(); }