From e5b5524ec63d273b6b1db3b485ee936906d7bb63 Mon Sep 17 00:00:00 2001
From: Rafael Tavares Juliani <professor@rafaeljuliani.com>
Date: Thu, 19 Oct 2023 04:03:31 -0300
Subject: [PATCH] Update index.php

---
 index.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/index.php b/index.php
index d7bd996..f074517 100644
--- a/index.php
+++ b/index.php
@@ -130,6 +130,12 @@ function direcionar_ark() {
 
             $caminho_arquivo_ark = $pasta_json."/".$nome_arquivo_ark;
            
+            $arquivo_ark = file_get_contents($caminho_arquivo_ark);
+
+if (empty($arquivo_ark)) {
+    echo "<h1>$ark_formatado</h1> <p>Documento não encontrado.</p>";
+    return;
+}
 
             if(file_exists($caminho_arquivo_ark)){