# HG changeset patch
# User zas_
# Date 1211370329 0
# Node ID d897ff542ad91c188b0905b1d1bdd71028c401b4
# Parent  a1dcef8cd1ae2f71df6bc92925caabe41689f874
Use g_build_filename().

diff -r a1dcef8cd1ae -r d897ff542ad9 src/trash.c
--- a/src/trash.c	Wed May 21 11:07:23 2008 +0000
+++ b/src/trash.c	Wed May 21 11:45:29 2008 +0000
@@ -92,9 +92,15 @@
 static gchar *file_util_safe_dest(const gchar *path)
 {
 	gint n;
+	gchar *name;
+	gchar *dest;
 
 	n = file_util_safe_number(filesize(path));
-	return g_strdup_printf("%s/%06d_%s", options->file_ops.safe_delete_path, n, filename_from_path(path));
+	name = g_strdup_printf("%06d_%s", n, filename_from_path(path));
+	dest = g_build_filename(options->file_ops.safe_delete_path, name, NULL);
+	g_free(name);
+
+	return dest;
 }
 
 static void file_util_safe_del_toggle_cb(GtkWidget *button, gpointer data)