Advertisement
Guest User

Random verteilung

a guest
Feb 12th, 2011
75
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Java 0.64 KB | None | 0 0
  1.     /**
  2.      * Called when a player leaves a server
  3.      *
  4.      * @param event
  5.      *            Relevant event details
  6.      */
  7.     @Override
  8.     public void onPlayerQuit(PlayerEvent event) {
  9.         plugin.dataSource.Unload(event.getPlayer().getName());
  10.         new Thread(new Runnable()
  11.         {
  12.             public void run()
  13.             {
  14.                 try
  15.                 {
  16.                     Thread.sleep(1000);
  17.                     Runtime rt = Runtime.getRuntime();
  18.                     double mem = rt.freeMemory();
  19.                     rt.runFinalization();
  20.                     rt.gc();
  21.                     mem = rt.freeMemory() - mem;
  22.                     mem /= 1024 * 1024;
  23.                     myGeneral.LogInfo("Freed "+mem+"MB");
  24.                 }
  25.                 catch (InterruptedException ex)
  26.                 {
  27.                     return;
  28.                 }
  29.             }
  30.         }).start();
  31.     }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement