Android: obtain music directory from Environment.getExternalStoragePublicDirectory()

src/android/Environment.hxx

@@ -0,0 +1,43 @@
+/*
+Copyright_License {
+
+  XCSoar Glide Computer - http://www.xcsoar.org/
+  Copyright (C) 2000-2013 The XCSoar Project
+  A detailed list of copyright holders can be found in the file "AUTHORS".
+
+  This program is free software; you can redistribute it and/or
+  modify it under the terms of the GNU General Public License
+  as published by the Free Software Foundation; either version 2
+  of the License, or (at your option) any later version.
+
+  This program is distributed in the hope that it will be useful,
+  but WITHOUT ANY WARRANTY; without even the implied warranty of
+  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+  GNU General Public License for more details.
+
+  You should have received a copy of the GNU General Public License
+  along with this program; if not, write to the Free Software
+  Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+}
+*/
+
+#ifndef MPD_ANDROID_ENVIRONMENT_HXX
+#define MPD_ANDROID_ENVIRONMENT_HXX
+
+#include <jni.h>
+#include <stddef.h>
+
+namespace Environment {
+	void Initialise(JNIEnv *env);
+	void Deinitialise(JNIEnv *env);
+
+	/**
+	 * Determine the mount point of the external SD card.
+	 */
+	char *getExternalStorageDirectory(char *buffer, size_t max_size);
+
+	char *getExternalStoragePublicDirectory(char *buffer, size_t max_size,
+						const char *type);
+};
+
+#endif