Skip to content

Mail.app wieder flott machen

Bei großen Datenmengen an Emails kann es mitunter vorkommen, dass “Mail” unter Mac OS mit der Zeit immer langsamer wird. Der folgende Terminal-Befehl kann das Problem beheben:

  1. sqlite3 ~/Library/Mail/Envelope\ Index vacuum index;

Wurde dieser ausgeführt, dann läuft das Programm wieder spürbar schneller. Aber Vorsicht: auch wenn der Befehl fehlerfrei läuft, man sollte immer ein Backup seiner Daten machen!!

Quelle: Macworld: “A possible fix for a slow Mail app”

Keine Kommentare

Von derlippe.
Publiziert am: 29. August 2007, 14:37

AJAX: Asynchrones Senden eines HTTP-Requests

Zum Versenden eines asyncronen HTTP-Requests kann folgender Javascript-Code verwendet werden:
Weiterlesen »

Keine Kommentare

Von derlippe.
Publiziert am: 22. Mai 2006, 14:19

PHP: str_split () für frühere PHP-Versionen

In PHP5 wurde die Funktion str_split () eingeführt:

array str_split ( string string [, int length] )

Konvertiert einen String in ein Array. Wenn der optionale Parameter split_length angegeben ist, enthält das zurückgegebene Array Elemente mit der in split_length definierten Länge, andernfalls enthält jedes Element ein einzelnes Zeichen.

http://de.php.net/manual/de/function.str_split.php

Eine alternative für frühere PHP-Versionen bietet folgende Funktion:

  1. if (!function_exists("str_split")) {
  2.   function str_split($str,$length = 1) {
  3.     if ($length < 1) return false;
  4.     $strlen = strlen($str);
  5.     $ret = array();
  6.     for ($i = 0; $i < $strlen; $i += $length) {
  7.       $ret[] = substr($str,$i,$length);
  8.     }
  9.     return $ret;
  10.   }
  11. }

Keine Kommentare

Von derlippe.
Publiziert am: 18. Mai 2006, 22:09

Simple Optimization for PHP and MySQL

Here is a list of a few very simple tips for optimizing your php/mysql applications. Keep these in mind while developing.

Weiterlesen »

Keine Kommentare

Von derlippe.
Publiziert am: 10. Mai 2006, 01:19

PHP: Datum in deutscher Form ausgeben

Das von PHP ausgegebene Datum ist standardmäßig in englisch. Um dieses in die deutsche Form zu bringen, müssen mit Hilfe von setlocale() lokale Informationen gesetzt werden. In diesem Fall “de_DE”.

  1. setlocale(‘LC_TIME’, ‘de_DE’);
  2. echo strftime(‘%A’).‘, der ‘.date(‘d.m.Y H:i:s’).‘ Uhr.’;

Die Ausgabe sieht dann wie folgt aus:
Dienstag, der 09.05.2006 14:15:43 Uhr.

Näheres zum Datums- und Zeitformat im PHP-Manual unter: PHP-Funktion date().

Keine Kommentare

Von derlippe.
Publiziert am: 9. Mai 2006, 01:35